sched_setscheduler  930 lib/services/services_linux.c         if (sched_setscheduler(0, SCHED_OTHER, &sp) == -1) {
sched_setscheduler  804 maint/gnulib/lib/spawni.c       if (sched_setscheduler (0, attrp->_policy,