void __devinit arch_destroy_sched_domains(void)
void arch_destroy_sched_domains(const cpumask_t *cpu_map)
void __devinit arch_destroy_sched_domains(void){#ifdef CONFIG_NUMA	int i;	for (i = 0; i < MAX_NUMNODES; i++) {		struct sched_group *oldsg, *sg = sched_group_nodes[i];		if (sg == NULL)			continue;		sg = sg->next;next_sg:		oldsg = sg;		sg = sg->next;		kfree(oldsg);		if (oldsg != sched_group_nodes[i])			goto next_sg;		sched_group_nodes[i] = NULL;	}#endif}