Searched refs:enlightened_vmcs_gpa (Results 1 – 3 of 3) sorted by relevance
43 GUEST_ASSERT(vmptrstz() == vmx_pages->enlightened_vmcs_gpa); in l1_guest_code()46 GUEST_ASSERT(vmptrstz() == vmx_pages->enlightened_vmcs_gpa); in l1_guest_code()52 GUEST_ASSERT(vmptrstz() == vmx_pages->enlightened_vmcs_gpa); in l1_guest_code()59 GUEST_ASSERT(vmptrstz() == vmx_pages->enlightened_vmcs_gpa); in l1_guest_code()
126 vmx->enlightened_vmcs_gpa = in vcpu_alloc_vmx()194 if (evmcs_vmptrld(vmx->enlightened_vmcs_gpa, in load_vmcs()
570 uint64_t enlightened_vmcs_gpa; member