priority          225 src/dps8/dps8_rt.c set_realtime_priority(const pthread_t thread_id, const int priority)
priority          228 src/dps8/dps8_rt.c   param.sched_priority = priority;
priority          240 src/dps8/dps8_rt.c check_realtime_priority_impl(const pthread_t thread_id, const int priority, const bool verify)
priority          252 src/dps8/dps8_rt.c       if (priority != param_check.sched_priority) {
priority          254 src/dps8/dps8_rt.c                         priority, param_check.sched_priority);
priority          258 src/dps8/dps8_rt.c       if (priority == param_check.sched_priority) {
priority          273 src/dps8/dps8_rt.c check_realtime_priority(const pthread_t thread_id, const int priority)
priority          275 src/dps8/dps8_rt.c   check_realtime_priority_impl(thread_id, priority, true);
priority          280 src/dps8/dps8_rt.c check_not_realtime_priority(const pthread_t thread_id, const int priority)
priority          282 src/dps8/dps8_rt.c   check_realtime_priority_impl(thread_id, priority, false);
priority           30 src/dps8/dps8_rt.h void set_realtime_priority(const pthread_t thread_id, const int priority);
priority           31 src/dps8/dps8_rt.h void check_realtime_priority(const pthread_t thread_id, const int priority);
priority           32 src/dps8/dps8_rt.h void check_not_realtime_priority(const pthread_t thread_id, const int priority);