Searched refs:vmx_gva (Results 1 – 2 of 2) sorted by relevance
85 vm_vaddr_t vmx_gva; in perf_test_setup_nested() local91 vmx = vcpu_alloc_vmx(vm, &vmx_gva); in perf_test_setup_nested()110 vcpu_args_set(vm, vcpu_id, 2, vmx_gva, vcpu_id); in perf_test_setup_nested()
80 vm_vaddr_t vmx_gva = vm_vaddr_alloc_page(vm); in vcpu_alloc_vmx() local81 struct vmx_pages *vmx = addr_gva2hva(vm, vmx_gva); in vcpu_alloc_vmx()127 *p_vmx_gva = vmx_gva; in vcpu_alloc_vmx()