Searched refs:guest_ia32_debugctl (Results 1 – 7 of 7) sorted by relevance
55 u64 guest_ia32_debugctl; member 239 CHECK_OFFSET(guest_ia32_debugctl, 184); in vmx_check_vmcs12_offsets()
57 FIELD64(GUEST_IA32_DEBUGCTL, guest_ia32_debugctl),
1853 vmcs12->guest_ia32_debugctl = evmcs->guest_ia32_debugctl; in copy_enlightened_to_vmcs12() 1972 * evmcs->guest_ia32_debugctl = vmcs12->guest_ia32_debugctl; in copy_vmcs12_to_enlightened() 2672 vmx_guest_debugctl_write(vcpu, vmcs12->guest_ia32_debugctl & in prepare_vmcs02() 3167 CC(!vmx_is_valid_debugctl(vcpu, vmcs12->guest_ia32_debugctl, false)))) in nested_vmx_check_guest_state()
2229 get_vmcs12(vcpu)->guest_ia32_debugctl = data; in vmx_set_msr()
130 u64 guest_ia32_debugctl; member
118 u64 guest_ia32_debugctl; member 361 *value = current_evmcs->guest_ia32_debugctl; in evmcs_vmread() 787 current_evmcs->guest_ia32_debugctl = value; in evmcs_vmwrite()
107 u64 guest_ia32_debugctl;