Searched refs:vmcs01_debugctl (Results 1 – 1 of 1) sorted by relevance
858 u64 vmcs01_debugctl; member12130 vmcs_write64(GUEST_IA32_DEBUGCTL, vmx->nested.vmcs01_debugctl); in prepare_vmcs02()12624 vmx->nested.vmcs01_debugctl = vmcs_read64(GUEST_IA32_DEBUGCTL); in enter_vmx_non_root_mode()
