Searched refs:enlightened_vmcs_gpa (Results 1 – 3 of 3) sorted by relevance
64 GUEST_ASSERT(vmptrstz() == vmx_pages->enlightened_vmcs_gpa); in guest_code()67 GUEST_ASSERT(vmptrstz() == vmx_pages->enlightened_vmcs_gpa); in guest_code()73 GUEST_ASSERT(vmptrstz() == vmx_pages->enlightened_vmcs_gpa); in guest_code()82 GUEST_ASSERT(vmptrstz() == vmx_pages->enlightened_vmcs_gpa); in guest_code()
124 vmx->enlightened_vmcs_gpa = in vcpu_alloc_vmx()192 if (evmcs_vmptrld(vmx->enlightened_vmcs_gpa, in load_vmcs()
567 uint64_t enlightened_vmcs_gpa; member