[Xen-changelog] [xen-unstable] x86: During cpu offline, cpu_disable_scheduler() cannot fail.

[Xen patchbot-unstable <patchbot-unstable@xxxxxxxxxxxxxxxxxxx>]

# HG changeset patch
# User Keir Fraser <keir.fraser@xxxxxxxxxx>
# Date 1275397064 -3600
# Node ID 188e3da0aa2746f2f0cecce9f099a03554755125
# Parent  50991fc8e80135d9a92b2bfc4aebd82a22dcb838
x86: During cpu offline, cpu_disable_scheduler() cannot fail.

BUG on this scenario.

Signed-off-by: Keir Fraser <keir.fraser@xxxxxxxxxx>
---
 xen/arch/x86/smpboot.c |    3 ++-
 1 files changed, 2 insertions(+), 1 deletion(-)

diff -r 50991fc8e801 -r 188e3da0aa27 xen/arch/x86/smpboot.c
--- a/xen/arch/x86/smpboot.c    Tue Jun 01 11:04:08 2010 +0100
+++ b/xen/arch/x86/smpboot.c    Tue Jun 01 13:57:44 2010 +0100
@@ -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)

_______________________________________________
Xen-changelog mailing list
Xen-changelog@xxxxxxxxxxxxxxxxxxx
http://lists.xensource.com/xen-changelog