debuggers.hg
changeset 20990:cbb147631e8c
If the 'sched' parameter is unrecognized, choose the first scheduler
Signed-off-by: George Dunlap <george.dunlap@eu.citrix.com>
Signed-off-by: George Dunlap <george.dunlap@eu.citrix.com>
author | Keir Fraser <keir.fraser@citrix.com> |
---|---|
date | Mon Feb 15 17:49:14 2010 +0000 (2010-02-15) |
parents | 560277d2fd20 |
children | 3a0bd7ca6b11 |
files | xen/common/schedule.c |
line diff
1.1 --- a/xen/common/schedule.c Mon Feb 15 08:19:07 2010 +0000 1.2 +++ b/xen/common/schedule.c Mon Feb 15 17:49:14 2010 +0000 1.3 @@ -929,7 +929,10 @@ void __init scheduler_init(void) 1.4 } 1.5 1.6 if ( schedulers[i] == NULL ) 1.7 + { 1.8 printk("Could not find scheduler: %s\n", opt_sched); 1.9 + ops = *schedulers[0]; 1.10 + } 1.11 1.12 printk("Using scheduler: %s (%s)\n", ops.name, ops.opt_name); 1.13 SCHED_OP(init);