ia64/xen-unstable

changeset 14984:c5bf8919938b

Fix 'sched=sedf' boot.
Signed-off-by: Keir Fraser <keir@xensource.com>
author Keir Fraser <keir@xensource.com>
date Sat Apr 28 09:37:32 2007 +0100 (2007-04-28)
parents fc145308f102
children 0f9b97523450
files xen/common/sched_credit.c
line diff
     1.1 --- a/xen/common/sched_credit.c	Sat Apr 28 09:28:00 2007 +0100
     1.2 +++ b/xen/common/sched_credit.c	Sat Apr 28 09:37:32 2007 +0100
     1.3 @@ -1355,6 +1355,10 @@ static __init int csched_start_tickers(v
     1.4      struct csched_pcpu *spc;
     1.5      unsigned int cpu;
     1.6  
     1.7 +    /* Is the credit scheduler initialised? */
     1.8 +    if ( csched_priv.ncpus == 0 )
     1.9 +        return 0;
    1.10 +
    1.11      for_each_online_cpu ( cpu )
    1.12      {
    1.13          spc = CSCHED_PCPU(cpu);