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, ¶m); RT_SCHEDULER 247 src/dps8/dps8_rt.c if (RT_SCHEDULER != policy) { RT_SCHEDULER 249 src/dps8/dps8_rt.c RT_SCHEDULER, policy);