Searched refs:guest_ia32_debugctl (Results 1 – 8 of 8) sorted by relevance
55 u64 guest_ia32_debugctl; member238 CHECK_OFFSET(guest_ia32_debugctl, 184); in vmx_check_vmcs12_offsets()
56 FIELD64(GUEST_IA32_DEBUGCTL, guest_ia32_debugctl),
79 EVMCS1_FIELD(GUEST_IA32_DEBUGCTL, guest_ia32_debugctl,
1730 vmcs12->guest_ia32_debugctl = evmcs->guest_ia32_debugctl; in copy_enlightened_to_vmcs12()2521 vmcs_write64(GUEST_IA32_DEBUGCTL, vmcs12->guest_ia32_debugctl); in prepare_vmcs02()
2124 get_vmcs12(vcpu)->guest_ia32_debugctl = data; in vmx_set_msr()
127 u64 guest_ia32_debugctl; member374 *value = current_evmcs->guest_ia32_debugctl; in evmcs_vmread()800 current_evmcs->guest_ia32_debugctl = value; in evmcs_vmwrite()
481 u64 guest_ia32_debugctl; member
107 u64 guest_ia32_debugctl;