1 #ifndef __TASKS_H__ 2 #define __TASKS_H__ 3 4 #include "xburst_types.h" 5 6 /* Task management functions. */ 7 8 void init_tasks(void); 9 void start_task(unsigned short, void (*)(), u32[], u8); 10 void switch_task(void); 11 12 #endif /* __TASKS_H__ */