[PATCH] sched: arch_destroy_sched_domains warning fix

kernel/sched.c:4114: warning: `arch_destroy_sched_domains' defined but not used
Signed-off-by: Andrew Morton <akpm@osdl.org>
Signed-off-by: Linus Torvalds <torvalds@osdl.org>

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