1 /*
2  * sys/times.h
3  */
4 
5 #ifndef _SYS_TIMES_H
6 #define _SYS_TIMES_H
7 
8 #include <stdint.h>
9 
10 struct tms {
11     /* Empty */
12 };
13 
14 #define HZ		1000
15 #define CLK_TCK		HZ
16 
17 typedef uint32_t clock_t;
18 
19 extern volatile uint32_t __ms_timer;
20 
times(struct tms * buf)21 static inline clock_t times(struct tms *buf)
22 {
23     (void)buf;
24     return __ms_timer;
25 }
26 
27 #endif /* _SYS_TIMES_H */
28