5 * Basic timer function...
7 typedef uint32_t jiffies_t
;
8 extern volatile jiffies_t __jiffies
, __ms_timer
;
9 static inline jiffies_t
jiffies(void)
14 typedef uint32_t mstime_t
;
15 typedef int32_t mstimediff_t
;
16 static inline mstime_t
ms_timer(void)