On 12/19/2013 04:22 AM, Ingo Molnar wrote: >> diff --git a/drivers/idle/intel_idle.c b/drivers/idle/intel_idle.c >> index 92d1206..f80b700 100644 >> --- a/drivers/idle/intel_idle.c >> +++ b/drivers/idle/intel_idle.c >> @@ -377,6 +377,9 @@ static int intel_idle(struct cpuidle_device *dev, >> >> if (!current_set_polling_and_test()) { >> >> + if (this_cpu_has(X86_FEATURE_CLFLUSH_MONITOR)) >> + clflush((void *)¤t_thread_info()->flags); >> + >> __monitor((void *)¤t_thread_info()->flags, 0, 0); > > I don't think either of these casts to '(void *)' is needed, both the > clflush() and __monitor() will take pointers. __monitor() currently doesn't, which is idiotic. -hpa -- To unsubscribe from this list: send the line "unsubscribe stable" in the body of a message to majordomo@xxxxxxxxxxxxxxx More majordomo info at http://vger.kernel.org/majordomo-info.html