xc_some
xc_some(other_cpus,
extern void xc_some(cpuset_t, xcfunc_t *, uint64_t, uint64_t);
xc_some(cpu_ready_set, func, 0, 0);