Searched refs:pgtbl (Results 1 – 1 of 1) sorted by relevance
64 void *pgtbl; in aspace_delete_tc() local68 pgtbl = rt_pages_alloc(2); in aspace_delete_tc()69 uassert_true(!!pgtbl); /* page must be usable */ in aspace_delete_tc()70 rt_memset(pgtbl, 0, ARCH_PAGE_SIZE); in aspace_delete_tc()73 … aspace = rt_aspace_create((void *)USER_VADDR_START, USER_VADDR_TOP - USER_VADDR_START, pgtbl); in aspace_delete_tc()93 uassert_true(rt_pages_free(pgtbl, 2) == 1); /* page free must success */ in aspace_delete_tc()
Completed in 4 milliseconds