SCHEDULER          14 tools/power/cpupower/bench/config.h #define PRIORITY_HIGH	 sched_get_priority_max(SCHEDULER)
SCHEDULER          15 tools/power/cpupower/bench/config.h #define PRIORITY_LOW	 sched_get_priority_min(SCHEDULER)
SCHEDULER         110 tools/power/cpupower/bench/system.c 	if (sched_setscheduler(0, SCHEDULER, &param) < 0) {