x86: During cpu offline, cpu_disable_scheduler() cannot fail.

BUG on this scenario.

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

diff --git a/xen/arch/x86/smpboot.c b/xen/arch/x86/smpboot.c
index d873e85e25e19c7b72a8ca99cd026906e1a8966f..9581d67e43b3bd37b93cfbbab1656f90574e0940 100644 (file)
--- a/xen/arch/x86/smpboot.c
+++ b/xen/arch/x86/smpboot.c
@@ -858,7 +858,8 @@ void __cpu_disable(void)
     cpu_clear(cpu, cpu_online_map);
     fixup_irqs();
 
-    cpu_disable_scheduler(cpu);
+    if ( cpu_disable_scheduler(cpu) )
+        BUG();
 }
 
 void __cpu_die(unsigned int cpu)