Searched refs:vmxon_gpa (Results 1 – 2 of 2) sorted by relevance
83 vmx->vmxon_gpa = addr_gva2gpa(vm, (uintptr_t)vmx->vmxon); in vcpu_alloc_vmx()154 if (vmxon(vmx->vmxon_gpa)) in prepare_for_vmx_operation()
502 uint64_t vmxon_gpa; member