mpic_reset_core   232 arch/powerpc/platforms/85xx/smp.c 		mpic_reset_core(cpu);
mpic_reset_core   453 arch/powerpc/platforms/85xx/smp.c 		mpic_reset_core(i);
mpic_reset_core    36 arch/powerpc/sysdev/mpic.h extern void mpic_reset_core(int cpu);