Searched refs:vmx_gva (Results 1 – 1 of 1) sorted by relevance
80 vm_vaddr_t vmx_gva = vm_vaddr_alloc(vm, getpagesize(), 0x10000, 0, 0); in vcpu_alloc_vmx() local81 struct vmx_pages *vmx = addr_gva2hva(vm, vmx_gva); in vcpu_alloc_vmx()129 *p_vmx_gva = vmx_gva; in vcpu_alloc_vmx()