00001 #ifndef __SMP_H__ 00002 #define __SMP_H__ 00003 00004 #include "arch_types.h" 00005 uint32_t smp_processor_id(void); 00006 00007 #endif