ptl0_destroy 50 kernel/genarch/src/mm/as_pt.c static void ptl0_destroy(pte_t *); ptl0_destroy 58 kernel/genarch/src/mm/as_pt.c .page_table_destroy = ptl0_destroy,