core_unlock_all  2219 src/dps8/dps8_cpu.c         core_unlock_all ();
core_unlock_all  2223 src/dps8/dps8_cpu.c         core_unlock_all();
core_unlock_all  3438 src/dps8/dps8_cpu.c       core_unlock_all ();
core_unlock_all  3505 src/dps8/dps8_cpu.c        core_unlock_all ();
core_unlock_all  2171 src/dps8/dps8_cpu.h int core_unlock_all(void);