Searched refs:vmcs_gpa (Results 1 – 7 of 7) sorted by relevance
80 GUEST_ASSERT(vmx_pages->vmcs_gpa); in vmx_l1_guest_code()84 GUEST_ASSERT(vmptrstz() == vmx_pages->vmcs_gpa); in vmx_l1_guest_code()87 GUEST_ASSERT(vmptrstz() == vmx_pages->vmcs_gpa); in vmx_l1_guest_code()93 GUEST_ASSERT(vmptrstz() == vmx_pages->vmcs_gpa); in vmx_l1_guest_code()95 GUEST_ASSERT(vmptrstz() == vmx_pages->vmcs_gpa); in vmx_l1_guest_code()125 GUEST_ASSERT(!vmptrld(vmx_pages->vmcs_gpa)); in vmx_l1_guest_code()
76 GUEST_ASSERT(vmx_pages->vmcs_gpa); in l1_guest_code()79 GUEST_ASSERT(vmptrstz() == vmx_pages->vmcs_gpa); in l1_guest_code()
30 GUEST_ASSERT(vmx->vmcs_gpa); in l1_guest_code_vmx()
53 GUEST_ASSERT(vmx->vmcs_gpa); in l1_guest_code()
38 GUEST_ASSERT(vmx->vmcs_gpa); in memstress_l1_guest_code()
88 vmx->vmcs_gpa = addr_gva2gpa(vm, (uintptr_t)vmx->vmcs); in vcpu_alloc_vmx()164 if (vmclear(vmx->vmcs_gpa)) in load_vmcs()167 if (vmptrld(vmx->vmcs_gpa)) in load_vmcs()
506 uint64_t vmcs_gpa; member