Hi,Yeah, You are right. This should have been CONFIG_CPU_IDLE_AUTO_PROMOTION.
Sorry, just realised another thing I wanted to ask:
@@ -442,6 +442,26 @@ static int menu_select(struct cpuidle_driver *drv, struct cpuidle_device *dev,Why is this based on CPUIDLE_FLAG_ rather than CONFIG_CPU_IDLE_? Won't
}
}
+#ifdef CPUIDLE_FLAG_AUTO_PROMOTION
this always be true, given that the flag is defined regardless of the
config option in the header?