On Tue, 2011-03-29 at 16:37 +1100, Michael Ellerman wrote:

Takes a cpu parameter ..

quoted

+void generic_set_cpu_dead(unsigned int cpu)
+{
+     __get_cpu_var(cpu_state) = CPU_DEAD;
+}

But doesn't use it.

Yeah that's a bug. Fortunately it's always called on the current CPU :-)
I'll fix it tho.

Thanks,
Ben.