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()54 GUEST_ASSERT(vmptrstz() == vmx_pages->enlightened_vmcs_gpa); in l1_guest_code()
123 vmx->enlightened_vmcs_gpa = in vcpu_alloc_vmx()191 if (evmcs_vmptrld(vmx->enlightened_vmcs_gpa, in load_vmcs()
570 uint64_t enlightened_vmcs_gpa; member