sched_getscheduler  102 lib/ais/utils.c     int policy = sched_getscheduler(0);
sched_getscheduler  385 lib/services/services_linux.c     if (sched_getscheduler(0) != SCHED_OTHER) {