# CONFIG_SCHED_MC_PRIO is not set