KVM_UTIL_MIN_VADDR
gva_t mmio_gva = vm_unused_gva_gap(vm, vm->page_size, KVM_UTIL_MIN_VADDR);
return vm_alloc(vm, nr_pages * getpagesize(), KVM_UTIL_MIN_VADDR);
return __vm_alloc(vm, getpagesize(), KVM_UTIL_MIN_VADDR, type);
gva_t mmio_gva = vm_unused_gva_gap(vm, vm->page_size, KVM_UTIL_MIN_VADDR);
gva = vm_alloc_shared(vm, sizeof(*hdr), KVM_UTIL_MIN_VADDR,
gva_t gva = vm_alloc(vm, size, KVM_UTIL_MIN_VADDR);
gva = vm_unused_gva_gap(vm, NTEST_PAGES * PAGE_SIZE, KVM_UTIL_MIN_VADDR);
data = addr_gva2hva(vm, vm_alloc(vm, BUFFER_SIZE, KVM_UTIL_MIN_VADDR));
gva = vm_alloc_shared(vm, PAGE_SIZE, KVM_UTIL_MIN_VADDR,