HelenOS sources

ht_mapping_make_global   64 kernel/genarch/src/mm/page_ht.c static void ht_mapping_make_global(uintptr_t, size_t);
ht_mapping_make_global   97 kernel/genarch/src/mm/page_ht.c 	.mapping_make_global = ht_mapping_make_global