Searched refs:ptr4 (Results 1 – 1 of 1) sorted by relevance
| /trusty/kernel/app/mmutest/ |
| D | mmutest.c | 437 void* ptr4 = NULL; in TEST_P() local
576 ptr4 = (void*)(base + PAGE_SIZE * 4); in TEST_P()
579 ret = vmm_alloc(aspace, "mmutest", PAGE_SIZE, &ptr4, 0, in TEST_P()
584 ret = vmm_alloc(aspace, "mmutest", PAGE_SIZE, &ptr4, 0, in TEST_P()
590 ret = vmm_alloc(aspace, "mmutest", PAGE_SIZE, &ptr4, 0, in TEST_P()
594 ptr4 = NULL; in TEST_P()
639 vmm_free_region(aspace, (vaddr_t)ptr4); in TEST_P()
|