cpuidle_reflect
void cpuidle_reflect(struct cpuidle_device *dev, int index)
static inline void cpuidle_reflect(struct cpuidle_device *dev, int index) { }