Symbol: xmon_switch_cpu
arch/powerpc/xmon/xmon.c
1264
if (xmon_switch_cpu(cpu))
arch/powerpc/xmon/xmon.c
135
static int xmon_switch_cpu(unsigned long);
arch/powerpc/xmon/xmon.c
1367
return xmon_switch_cpu(cpu);