HelenOS sources

page_table_destroy   57 kernel/genarch/src/mm/as_ht.c 	.page_table_destroy = ht_destroy,
page_table_destroy   58 kernel/genarch/src/mm/as_pt.c 	.page_table_destroy = ptl0_destroy,
page_table_destroy  138 kernel/generic/include/mm/as.h 	void (*page_table_destroy)(pte_t *);
page_table_destroy   67 kernel/generic/include/mm/page.h extern void page_table_destroy(pte_t *);
page_table_destroy  267 kernel/generic/src/mm/as.c 	page_table_destroy(as->genarch.page_table);
page_table_destroy  269 kernel/generic/src/mm/as.c 	page_table_destroy(NULL);
page_table_destroy 1771 kernel/generic/src/mm/as.c 	assert(as_operations->page_table_destroy);
page_table_destroy 1773 kernel/generic/src/mm/as.c 	as_operations->page_table_destroy(page_table);