diff options
| -rw-r--r-- | kernel/sched.c | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/kernel/sched.c b/kernel/sched.c index aa0fdc14b3d4..e357737c730d 100644 --- a/kernel/sched.c +++ b/kernel/sched.c @@ -4560,10 +4560,12 @@ static void __devinit arch_init_sched_domains(void) } } +#ifdef CONFIG_HOTPLUG_CPU static void __devinit arch_destroy_sched_domains(void) { /* Do nothing: everything is statically allocated. */ } +#endif #undef SCHED_DOMAIN_DEBUG #ifdef SCHED_DOMAIN_DEBUG |