Code Editor : cpuidle_haltpoll.h