pt_mapping_update 57 kernel/genarch/src/mm/page_pt.c static void pt_mapping_update(as_t *, uintptr_t, bool, pte_t *pte); pt_mapping_update 64 kernel/genarch/src/mm/page_pt.c .mapping_update = pt_mapping_update,