vm_vaddr_alloc_pages
vm_vaddr_t vm_vaddr_alloc_pages(struct kvm_vm *vm, int nr_pages);
return vm_vaddr_alloc_pages(vm, 1);
tiledata = vm_vaddr_alloc_pages(vm, 2);
xstate = vm_vaddr_alloc_pages(vm, DIV_ROUND_UP(XSAVE_SIZE, PAGE_SIZE));
hcall_page = vm_vaddr_alloc_pages(vm, 1);
hcall_in_page = vm_vaddr_alloc_pages(vm, 1);
hcall_out_page = vm_vaddr_alloc_pages(vm, 1);
hcall_page = vm_vaddr_alloc_pages(vm, 2);
hcall_page = vm_vaddr_alloc_pages(vm, 2);
hcall_page = vm_vaddr_alloc_pages(vm, 1);
data->hcall_gva = vm_vaddr_alloc_pages(vm, 2);
data->test_pages = vm_vaddr_alloc_pages(vm, NTEST_PAGES + 1);