xmon_switch_cpu
if (xmon_switch_cpu(cpu))
static int xmon_switch_cpu(unsigned long);
return xmon_switch_cpu(cpu);