HelenOS sources

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,
HelenOS homepage, sources at GitHub