NTEST_PAGES
void *exp_page = addr + PAGE_SIZE * NTEST_PAGES;
data->test_pages = vm_vaddr_alloc_pages(vm, NTEST_PAGES + 1);
for (i = 0; i < NTEST_PAGES; i++)
gva = vm_vaddr_unused_gap(vm, NTEST_PAGES * PAGE_SIZE, KVM_UTIL_MIN_VADDR);
for (i = 0; i < NTEST_PAGES; i++) {
vm_vaddr_t test_pages_pte[NTEST_PAGES];
void *exp_page = (void *)data->test_pages + PAGE_SIZE * NTEST_PAGES;