xmon_batch_next_cpu
return xmon_batch_next_cpu();
if (!xmon_batch_next_cpu())
static int xmon_batch_next_cpu(void);