From 41b325aff8c1a4a56e0dd3a1a1cda8f6aaa1d3dc Mon Sep 17 00:00:00 2001 From: Keir Fraser Date: Tue, 1 Jun 2010 13:57:44 +0100 Subject: [PATCH] x86: During cpu offline, cpu_disable_scheduler() cannot fail. BUG on this scenario. Signed-off-by: Keir Fraser --- xen/arch/x86/smpboot.c | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) 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) -- 2.30.2