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);