Searched refs:guest_ia32_debugctl (Results 1 – 3 of 3) sorted by relevance
118 u64 guest_ia32_debugctl; member361 *value = current_evmcs->guest_ia32_debugctl; in evmcs_vmread()787 current_evmcs->guest_ia32_debugctl = value; in evmcs_vmwrite()
107 u64 guest_ia32_debugctl;
1872 vmcs12->guest_ia32_debugctl = evmcs->guest_ia32_debugctl; in copy_enlightened_to_vmcs12()2724 vmx_guest_debugctl_write(vcpu, vmcs12->guest_ia32_debugctl & in prepare_vmcs02()3304 u64 debugctl = vmcs12->guest_ia32_debugctl; in nested_vmx_check_guest_state()