stop_machine: Pass cpu number to tasklet handler.

Otherwise the BUG_ON() I added to the handler always BUGs!

Signed-off-by: Keir Fraser <keir.fraser@citrix.com>

diff --git a/xen/common/stop_machine.c b/xen/common/stop_machine.c
index 70856505e3a4281e35c6ae56da0958c772bc5574..83f525f09be1654b6e2efb246ff0898d5a60b56e 100644 (file)
--- a/xen/common/stop_machine.c
+++ b/xen/common/stop_machine.c
@@ -160,7 +160,7 @@ static int __init cpu_stopmachine_init(void)
     unsigned int cpu;
     for_each_possible_cpu ( cpu )
         tasklet_init(&per_cpu(stopmachine_tasklet, cpu),
-                     stopmachine_action, 0);
+                     stopmachine_action, cpu);
     return 0;
 }
 __initcall(cpu_stopmachine_init);