Searched refs:vmcs_gpa (Results 1 – 3 of 3) sorted by relevance
53 GUEST_ASSERT(vmx_pages->vmcs_gpa); in l1_guest_code()55 GUEST_ASSERT(vmptrstz() == vmx_pages->vmcs_gpa); in l1_guest_code()58 GUEST_ASSERT(vmptrstz() == vmx_pages->vmcs_gpa); in l1_guest_code()64 GUEST_ASSERT(vmptrstz() == vmx_pages->vmcs_gpa); in l1_guest_code()66 GUEST_ASSERT(vmptrstz() == vmx_pages->vmcs_gpa); in l1_guest_code()96 GUEST_ASSERT(!vmptrld(vmx_pages->vmcs_gpa)); in l1_guest_code()
41 vmx->vmcs_gpa = addr_gva2gpa(vm, (uintptr_t)vmx->vmcs); in vcpu_alloc_vmx()112 if (vmclear(vmx->vmcs_gpa)) in prepare_for_vmx_operation()115 if (vmptrld(vmx->vmcs_gpa)) in prepare_for_vmx_operation()
528 uint64_t vmcs_gpa; member
