# CONFIG_IDLE_INJECT is not set