[Xen-changelog] [xen-unstable] Fix 'sched=sedf' boot.

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

# HG changeset patch
# User Keir Fraser <keir@xxxxxxxxxxxxx>
# Date 1177749452 -3600
# Node ID c5bf8919938bdc476c5cae3bf4c276a93b29bbac
# Parent  fc145308f102d6c0bdabfdca0035d302c633879a
Fix 'sched=sedf' boot.
Signed-off-by: Keir Fraser <keir@xxxxxxxxxxxxx>
---
 xen/common/sched_credit.c |    4 ++++
 1 files changed, 4 insertions(+)

diff -r fc145308f102 -r c5bf8919938b xen/common/sched_credit.c
--- a/xen/common/sched_credit.c Sat Apr 28 09:28:00 2007 +0100
+++ b/xen/common/sched_credit.c Sat Apr 28 09:37:32 2007 +0100
@@ -1355,6 +1355,10 @@ static __init int csched_start_tickers(v
     struct csched_pcpu *spc;
     unsigned int cpu;
 
+    /* Is the credit scheduler initialised? */
+    if ( csched_priv.ncpus == 0 )
+        return 0;
+
     for_each_online_cpu ( cpu )
     {
         spc = CSCHED_PCPU(cpu);

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