From: Keir Fraser <keir.fraser@citrix.com>
Date: Tue, 1 Jun 2010 12:57:44 +0000 (+0100)
Subject: x86: During cpu offline, cpu_disable_scheduler() cannot fail.
X-Git-Tag: archive/raspbian/4.8.0-1+rpi1~1^2~12041
X-Git-Url: https://dgit.raspbian.org/?a=commitdiff_plain;h=41b325aff8c1a4a56e0dd3a1a1cda8f6aaa1d3dc;p=xen.git

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 d873e85e25..9581d67e43 100644
--- 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)