page_mapping_make_global 65 kernel/generic/include/mm/page.h extern void page_mapping_make_global(uintptr_t, size_t); page_mapping_make_global 111 kernel/generic/src/mm/km.c page_mapping_make_global(base, size);