static int __devinit cpu_to_phys_group(int cpu) 
static int cpu_to_phys_group(int cpu) 
static int __devinit cpu_to_phys_group(int cpu){#ifdef CONFIG_SCHED_SMT	return first_cpu(cpu_sibling_map[cpu]);#else	return cpu;#endif}
10457	/local/tlutelli/issta_data/temp/c/2005_temp/2005/10457/7f1867a5b3dc3034cbea403b229d65eed4a7f62e/domain.c/buggy/arch/ia64/kernel/domain.c