/** 
 * @file
 * Multiprocessing
 * ===============
 *
 * smp_start should be entered by the application processors and calls
 * the C-function: smp_main() in turn.
 * */

void smp_start();
void asm_smp_unlock();