# CONFIG_TICK_CPU_ACCOUNTING is not set