HelenOS sources

pt_mapping_make_global   58 kernel/genarch/src/mm/page_pt.c static void pt_mapping_make_global(uintptr_t, size_t);
pt_mapping_make_global   65 kernel/genarch/src/mm/page_pt.c 	.mapping_make_global = pt_mapping_make_global