include/timekeeping.h

   1 #ifndef TIMEKEEPING_H_
   2 #define TIMEKEEPING_H_
   3
   4 #include <types.h>
   5
   6 void timekeeping(u32 now);
   7 u32 time_ms(void);
   8
   9 /* limit: 49.7 days in seconds or ms */
  10 static inline u32 time(void)
  11 {
  12         return time_ms()/1000;
  13 }
  14
  15 #endif