pt_mapping_remove 55 kernel/genarch/src/mm/page_pt.c static void pt_mapping_remove(as_t *, uintptr_t); pt_mapping_remove 62 kernel/genarch/src/mm/page_pt.c .mapping_remove = pt_mapping_remove,