void smp_go();