# CONFIG_ARCH_CPUIDLE_HALTPOLL is not set
