core_unlock_all  2312 src/dps8/dps8_cpu.c         core_unlock_all ();
core_unlock_all  2316 src/dps8/dps8_cpu.c         core_unlock_all();
core_unlock_all  3597 src/dps8/dps8_cpu.c       core_unlock_all ();
core_unlock_all  3664 src/dps8/dps8_cpu.c        core_unlock_all ();
core_unlock_all  2175 src/dps8/dps8_cpu.h int core_unlock_all(void);