Searched refs:vmxon_gpa (Results 1 – 2 of 2) sorted by relevance
81 vmx->vmxon_gpa = addr_gva2gpa(vm, (uintptr_t)vmx->vmxon); in vcpu_alloc_vmx()152 if (vmxon(vmx->vmxon_gpa)) in prepare_for_vmx_operation()
500 uint64_t vmxon_gpa; member
Completed in 8 milliseconds