pt_unlock 53 kernel/genarch/src/mm/as_pt.c static void pt_unlock(as_t *, bool); pt_unlock 60 kernel/genarch/src/mm/as_pt.c .page_table_unlock = pt_unlock,