HelenOS sources

pt_mapping_insert   54 kernel/genarch/src/mm/page_pt.c static void pt_mapping_insert(as_t *, uintptr_t, uintptr_t, unsigned int);
pt_mapping_insert   61 kernel/genarch/src/mm/page_pt.c 	.mapping_insert = pt_mapping_insert,