smp_cpus_done
void (*smp_cpus_done)(unsigned max_cpus);
smp_ops.smp_cpus_done(max_cpus);
.smp_cpus_done = native_smp_cpus_done,
smp_ops.smp_cpus_done = xen_smp_cpus_done;
.smp_cpus_done = xen_smp_cpus_done,
extern void smp_cpus_done(unsigned int max_cpus);
smp_cpus_done(setup_max_cpus);