if (!(cpu_isset(cpu, numa_cpumask_lookup_table[node]))) { 
 if (!(cpu_isset(cpu, numa_cpumask_lookup_table[node]))) 
static inline void map_cpu_to_node(int cpu, int node){	numa_cpu_lookup_table[cpu] = node;	if (!(cpu_isset(cpu, numa_cpumask_lookup_table[node]))) {		cpu_set(cpu, numa_cpumask_lookup_table[node]);	}}
4520	/local/tlutelli/issta_data/temp/c/2005_temp/2005/4520/45fb6cea09443b2066016f895937f9c2647a1507/numa.c/clean/arch/powerpc/mm/numa.c