set_realtime_priority 2071 src/dps8/dps8_cpu.c       set_realtime_priority (pthread_self(), realtime_max_priority() - 1);
set_realtime_priority 3541 src/dps8/dps8_iom.c       set_realtime_priority (pthread_self(), realtime_max_priority() - 1);
set_realtime_priority  303 src/dps8/dps8_rt.c   set_realtime_priority(watchdog_reader_id, max_priority);
set_realtime_priority   30 src/dps8/dps8_rt.h void set_realtime_priority(const pthread_t thread_id, const int priority);
set_realtime_priority 2153 src/simh/scp.c     set_realtime_priority (pthread_self(), realtime_max_priority() - 1);