1 #ifndef __INIT_H__ 2 #define __INIT_H__ 3 4 /* Initialisation functions. */ 5 6 void gpio_init2(void); 7 void cpm_init(void); 8 void rtc_init(void); 9 void timer_init(void); 10 void timer_init_irq(void); 11 void timer_clear(void); 12 int is_started(void); 13 14 #endif /* __INIT_H__ */