diff options
| author | Keir Fraser <keir@xensource.com> | 2007-04-28 09:37:32 +0100 |
|---|---|---|
| committer | Keir Fraser <keir@xensource.com> | 2007-04-28 09:37:32 +0100 |
| commit | 7ca271872259b87dc250669eb6ea1ec710747d9f (patch) | |
| tree | e65b20a19e416ca7a294c605ae2b78890dc1ba78 | |
| parent | 1476bb26061d214aebeea4f09540e2e055f39952 (diff) | |
| download | xen-7ca271872259b87dc250669eb6ea1ec710747d9f.tar.gz xen-7ca271872259b87dc250669eb6ea1ec710747d9f.tar.bz2 xen-7ca271872259b87dc250669eb6ea1ec710747d9f.zip | |
Fix 'sched=sedf' boot.
Signed-off-by: Keir Fraser <keir@xensource.com>
| -rw-r--r-- | xen/common/sched_credit.c | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/xen/common/sched_credit.c b/xen/common/sched_credit.c index 152da1248e..192ed84213 100644 --- a/xen/common/sched_credit.c +++ b/xen/common/sched_credit.c @@ -1355,6 +1355,10 @@ static __init int csched_start_tickers(void) 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); |