ptl0_create 49 kernel/genarch/src/mm/as_pt.c static pte_t *ptl0_create(unsigned int); ptl0_create 57 kernel/genarch/src/mm/as_pt.c .page_table_create = ptl0_create,