save_thread_sched   27 src/dps8/dps8_rt.h void save_thread_sched(const pthread_t thread_id);
save_thread_sched 2139 src/simh/scp.c save_thread_sched(pthread_self());