 for (cpu=0; cpu < NR_CPUS; cpu++) 
 for (cpu=0; cpu < NR_CPUS; cpu++) 
nasid_slice_to_cpuid(int nasid, int slice){	long cpu;		for (cpu=0; cpu < NR_CPUS; cpu++) 		if (cpuid_to_nasid(cpu) == nasid &&					cpuid_to_slice(cpu) == slice)			return cpu;	return -1;}
4520	/local/tlutelli/issta_data/temp/c/2005_temp/2005/4520/71a5d027c90dd7e14ddaaf22358ff5138ba89ec9/setup.c/clean/arch/ia64/sn/kernel/setup.c