#ifndef _SMP_H
#define _SMP_H

void arch_smp_wakeup();

#endif