321     void* ptr1;  in TEST()  local
336     ptr1 = (void*)(aspace->base + (aspace->size - PAGE_SIZE));  in TEST()
337     ret = vmm_alloc(aspace, "mmutest", PAGE_SIZE, &ptr1, 0,  in TEST()
345     ret = vmm_get_obj(aspace, (vaddr_t)ptr1, PAGE_SIZE, &slice);  in TEST()
359     ret = vmm_alloc(aspace, "mmutest", PAGE_SIZE, &ptr1, 0,  in TEST()
373     ret = vmm_free_region(aspace, (vaddr_t)ptr1);  in TEST()
381     ret = vmm_alloc(aspace, "mmutest", PAGE_SIZE, &ptr1, 0,  in TEST()
386     ret = vmm_alloc(aspace, "mmutest", PAGE_SIZE, &ptr1, 0,  in TEST()
391     ret = vmm_free_region(aspace, (vaddr_t)ptr1);  in TEST()
434     void* ptr1 = NULL;  in TEST_P()  local
443     ret = vmm_alloc(aspace, "mmutest", PAGE_SIZE, &ptr1, 0, 0,  in TEST_P()
452     if (aspace->base > (vaddr_t)ptr1 - PAGE_SIZE) {  in TEST_P()
457         vmm_free_region(aspace, (vaddr_t)ptr1);  in TEST_P()
458         ptr1 = ptr3;  in TEST_P()
463     ret = vmm_get_obj(aspace, (vaddr_t)ptr1 - PAGE_SIZE, PAGE_SIZE, &slice);  in TEST_P()
467     ret = vmm_get_obj(aspace, (vaddr_t)ptr1 + PAGE_SIZE, PAGE_SIZE, &slice);  in TEST_P()
472     ptr2 = (void*)((vaddr_t)ptr1 - PAGE_SIZE);  in TEST_P()
479     ptr2 = (void*)((vaddr_t)ptr1 + PAGE_SIZE);  in TEST_P()
487     vmm_free_region(aspace, (vaddr_t)ptr1);  in TEST_P()
488     ptr1 = NULL;  in TEST_P()
491     ret = vmm_alloc(aspace, "mmutest", PAGE_SIZE, &ptr1, 0,  in TEST_P()
501     ptr1 = (void*)base;  in TEST_P()
502     ret = vmm_alloc(aspace, "mmutest", PAGE_SIZE, &ptr1, 0,  in TEST_P()
510         ptr1 = NULL;  in TEST_P()
642     vmm_free_region(aspace, (vaddr_t)ptr1);  in TEST_P()
695     void* ptr1 = data;  in TEST()  local
697     EXPECT_EQ(NO_ERROR, mmutest_arch_store_uint32(ptr1, false));  in TEST()