# CONFIG_HAVE_IRQ_TIME_ACCOUNTING is not set
