xen_smp_cpus_done
smp_ops.smp_cpus_done = xen_smp_cpus_done;
.smp_cpus_done = xen_smp_cpus_done,
void xen_smp_cpus_done(unsigned int max_cpus);