if (OpenPIC_Addr) do_openpic_setup_cpu(); 
mpic_setup_this_cpu(); 
static void __devinit smp_chrp_setup_cpu(int cpu_nr){	if (OpenPIC_Addr)		do_openpic_setup_cpu();}
10457	/local/tlutelli/issta_data/temp/c/2005_temp/2005/10457/80579e1f4a6b5f5dec92faa6c3e0645961c99091/smp.c/buggy/arch/powerpc/platforms/chrp/smp.c