native_smp_cpus_done
void native_smp_cpus_done(unsigned int max_cpus);
.smp_cpus_done = native_smp_cpus_done,
native_smp_cpus_done(max_cpus);