Searched refs:shadow_vmcs_gpa (Results 1 – 3 of 3) sorted by relevance
114 vmwrite(VMCS_LINK_POINTER, vmx_pages->shadow_vmcs_gpa); in vmx_l1_guest_code()116 GUEST_ASSERT(!vmptrld(vmx_pages->shadow_vmcs_gpa)); in vmx_l1_guest_code()130 GUEST_ASSERT(!vmptrld(vmx_pages->shadow_vmcs_gpa)); in vmx_l1_guest_code()
102 vmx->shadow_vmcs_gpa = addr_gva2gpa(vm, (uintptr_t)vmx->shadow_vmcs); in vcpu_alloc_vmx()191 if (vmclear(vmx->shadow_vmcs_gpa)) in load_vmcs()
554 uint64_t shadow_vmcs_gpa; member
