HelenOS sources
page_table_create 56 kernel/genarch/src/mm/as_ht.c .page_table_create = ht_create,
page_table_create 57 kernel/genarch/src/mm/as_pt.c .page_table_create = ptl0_create,
page_table_create 137 kernel/generic/include/mm/as.h pte_t *(*page_table_create)(unsigned int);
page_table_create 66 kernel/generic/include/mm/page.h extern pte_t *page_table_create(unsigned int);
page_table_create 188 kernel/generic/src/mm/as.c as->genarch.page_table = page_table_create(flags);
page_table_create 190 kernel/generic/src/mm/as.c page_table_create(flags);
page_table_create 1756 kernel/generic/src/mm/as.c assert(as_operations->page_table_create);
page_table_create 1758 kernel/generic/src/mm/as.c return as_operations->page_table_create(flags);
HelenOS homepage, sources at GitHub