Searched refs:pre_vmenter_debugctl (Results 1 – 2 of 2) sorted by relevance
182 u64 pre_vmenter_debugctl; member
2676 vmx_guest_debugctl_write(vcpu, vmx->nested.pre_vmenter_debugctl); in prepare_vmcs02()3541 vmx->nested.pre_vmenter_debugctl = vmx_guest_debugctl_read(); in nested_vmx_enter_non_root_mode()