# CONFIG_HAVE_SCHED_AVG_IRQ is not set
