SCHED_OTHER 691 lib/services/services_linux.c if (sched_getscheduler(0) != SCHED_OTHER) { SCHED_OTHER 697 lib/services/services_linux.c if (sched_setscheduler(0, SCHED_OTHER, &sp) == -1) {