00001 #ifndef _INTERRUPTS_H 00002 #define _INTERRUPTS_H 00003 00004 #include "type.h" 00005 00006 void timer_init(void); 00007 //Initialises the Timer interrupt to clock the global tick count 00008 00009 #endif /* _INTERRUPTS_H */