Searched refs:enlightened_vmcs (Results 1 – 4 of 4) sorted by relevance
95 hv->enlightened_vmcs = (void *)vm_vaddr_alloc_page(vm); in vcpu_alloc_hyperv_test_pages()96 hv->enlightened_vmcs_hva = addr_gva2hva(vm, (uintptr_t)hv->enlightened_vmcs); in vcpu_alloc_hyperv_test_pages()97 hv->enlightened_vmcs_gpa = addr_gva2gpa(vm, (uintptr_t)hv->enlightened_vmcs); in vcpu_alloc_hyperv_test_pages()
187 evmcs_vmptrld(0xdeadbeef, hv_pages->enlightened_vmcs); in guest_code()
349 void *enlightened_vmcs; member
263 if (evmcs_vmptrld(hv->enlightened_vmcs_gpa, hv->enlightened_vmcs)) in load_evmcs()