Searched refs:vmcs01_guest_bndcfgs (Results 1 – 1 of 1) sorted by relevance
859 u64 vmcs01_guest_bndcfgs; member12067 vmcs_write64(GUEST_BNDCFGS, vmx->nested.vmcs01_guest_bndcfgs); in prepare_vmcs02_full()12627 vmx->nested.vmcs01_guest_bndcfgs = vmcs_read64(GUEST_BNDCFGS); in enter_vmx_non_root_mode()
