Searched refs:mmu_page_dtor (Results 1 – 2 of 2) sorted by relevance
9 extern void mmu_page_dtor(void *page);
89 void mmu_page_dtor(void *page) in mmu_page_dtor() function202 mmu_page_dtor((void *)page); in free_pointer_table()