restore_thread_sched  104 src/dps8/dps8_rt.c     int ret = restore_thread_sched(main_thread_id);
restore_thread_sched  115 src/dps8/dps8_rt.c         ret = restore_thread_sched(cpus[cpuNo].thread_id);
restore_thread_sched   26 src/dps8/dps8_rt.h int restore_thread_sched(const pthread_t thread_id);