# CONFIG_SCHED_CORE is not set
