/** Application processors */
void smp_start();