__init void numa_add_cpu(int cpu) 
__cpuinit void numa_add_cpu(int cpu) 
__init void numa_add_cpu(int cpu){	/* BP is initialized elsewhere */	if (cpu) 		set_bit(cpu, &node_to_cpumask[cpu_to_node(cpu)]);} 
4520	/local/tlutelli/issta_data/temp/c/2005_temp/2005/4520/e6982c671c560da4a0bc5c908cbcbec12bd5991d/numa.c/buggy/arch/x86_64/mm/numa.c