Searched refs:top_page (Results 1 – 1 of 1) sorted by relevance
31 void *top_page = rt_kernel_space.start + rt_kernel_space.size - 0x1000; in test_find_free() local32 void *vaddr = top_page; in test_find_free()37 uassert_true(vaddr == top_page); in test_find_free()43 vaddr = top_page; in test_find_free()45 uassert_true(vaddr < top_page); in test_find_free()73 rt_aspace_unmap(&rt_kernel_space, top_page); in test_find_free()
Completed in 3 milliseconds