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