00001
00013 #ifndef APPTIMER_H_
00014 #define APPTIMER_H_
00015
00016
00017 #include <inttypes.h>
00018 #include <halAppClock.h>
00019 #include <timer.h>
00020 #define halInitAppTimer() halStartAppClock()
00021
00022 extern uint32_t halSystemTime;
00023
00024
00025
00031 INLINE uint32_t HAL_GetSystemTime(void)
00032 {
00033 return halSystemTime;
00034 }
00035
00042 typedef Timer_t HAL_AppTimer_t;
00043
00044
00054 int HAL_StartAppTimer(HAL_AppTimer_t *appTimer);
00055
00056
00066 int HAL_StopAppTimer(HAL_AppTimer_t *appTimer);
00067
00068 #endif
00069