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