Searched refs:enlightened_vmcs_gpa (Results 1 – 4 of 4) sorted by relevance
99 GUEST_ASSERT(vmptrstz() == hv_pages->enlightened_vmcs_gpa); in guest_code()102 GUEST_ASSERT(vmptrstz() == hv_pages->enlightened_vmcs_gpa); in guest_code()108 GUEST_ASSERT(vmptrstz() == hv_pages->enlightened_vmcs_gpa); in guest_code()128 GUEST_ASSERT(vmptrstz() == hv_pages->enlightened_vmcs_gpa); in guest_code()
30 hv->enlightened_vmcs_gpa = addr_gva2gpa(vm, (uintptr_t)hv->enlightened_vmcs); in vcpu_alloc_hyperv_test_pages()
336 uint64_t enlightened_vmcs_gpa; member
263 if (evmcs_vmptrld(hv->enlightened_vmcs_gpa, hv->enlightened_vmcs)) in load_evmcs()