max_priority      207 src/dps8/dps8_rt.c   static int max_priority;
max_priority      210 src/dps8/dps8_rt.c   max_priority = 127;
max_priority      212 src/dps8/dps8_rt.c   max_priority = sched_get_priority_max(RT_SCHEDULER);
max_priority      213 src/dps8/dps8_rt.c   if (-1 == max_priority) {
max_priority      220 src/dps8/dps8_rt.c   return max_priority;
max_priority      289 src/dps8/dps8_rt.c   const int max_priority = realtime_max_priority();
max_priority      303 src/dps8/dps8_rt.c   set_realtime_priority(watchdog_reader_id, max_priority);
max_priority      306 src/dps8/dps8_rt.c   check_realtime_priority(watchdog_reader_id, max_priority);
max_priority      319 src/dps8/dps8_rt.c   check_not_realtime_priority(watchdog_writer_id, max_priority);