RT_SCHEDULER       62 src/dps8/dps8_rt.c #if !defined(RT_SCHEDULER)
RT_SCHEDULER      212 src/dps8/dps8_rt.c   max_priority = sched_get_priority_max(RT_SCHEDULER);
RT_SCHEDULER      230 src/dps8/dps8_rt.c   int ret = pthread_setschedparam(thread_id, RT_SCHEDULER, &param);
RT_SCHEDULER      247 src/dps8/dps8_rt.c       if (RT_SCHEDULER != policy) {
RT_SCHEDULER      249 src/dps8/dps8_rt.c                         RT_SCHEDULER, policy);