Searched refs:pre_vmenter_bndcfgs (Results 1 – 2 of 2) sorted by relevance
226 u64 pre_vmenter_bndcfgs; member
2559 vmcs_write64(GUEST_BNDCFGS, vmx->nested.pre_vmenter_bndcfgs); in prepare_vmcs02()3423 vmx->nested.pre_vmenter_bndcfgs = vmcs_read64(GUEST_BNDCFGS); in nested_vmx_enter_non_root_mode()
