00001 #ifndef SCS_TIMER_H_ 00002 #define SCS_TIMER_H_ 00003 00016 #include "alt_types.h" 00017 00019 void scs_timer_init(void); 00020 00024 alt_u32 scs_timer_get_time(void); 00025 00027 void scs_timer_reset(void); 00028 00029 00030 00031 #endif /*SCS_TIMER_H_*/
