 cpus_and(nodemask, nodemask, *cpu_map); if (cpus_empty(nodemask)) continue;  
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}
10457	/local/tlutelli/issta_data/temp/c/2005_temp/2005/10457/7f1867a5b3dc3034cbea403b229d65eed4a7f62e/domain.c/buggy/arch/ia64/kernel/domain.c