pt_locked 54 kernel/genarch/src/mm/as_pt.c static bool pt_locked(as_t *); pt_locked 61 kernel/genarch/src/mm/as_pt.c .page_table_locked = pt_locked,