#ifndef SMP_INCLUDED
#define SMP_INCLUDED
void smp_boot();
#endif