check_realtime_priority 2072 src/dps8/dps8_cpu.c       check_realtime_priority (pthread_self(), realtime_max_priority() - 1);
check_realtime_priority 3542 src/dps8/dps8_iom.c       check_realtime_priority (pthread_self(), realtime_max_priority() - 1);
check_realtime_priority  306 src/dps8/dps8_rt.c   check_realtime_priority(watchdog_reader_id, max_priority);
check_realtime_priority   31 src/dps8/dps8_rt.h void check_realtime_priority(const pthread_t thread_id, const int priority);
check_realtime_priority 2154 src/simh/scp.c     check_realtime_priority (pthread_self(), realtime_max_priority() - 1);