pt_lock 52 kernel/genarch/src/mm/as_pt.c static void pt_lock(as_t *, bool); pt_lock 59 kernel/genarch/src/mm/as_pt.c .page_table_lock = pt_lock,