| /* | |
| * sys/times.h | |
| */ | |
| #ifndef _SYS_TIMES_H | |
| #define _SYS_TIMES_H | |
| #include <stdint.h> | |
| struct tms { | |
| /* Empty */ | |
| }; | |
| #define HZ 1000 | |
| #define CLK_TCK HZ | |
| typedef uint32_t clock_t; | |
| extern volatile uint32_t __ms_timer; | |
| static inline clock_t times(struct tms *buf) | |
| { | |
| (void)buf; | |
| return __ms_timer; | |
| } | |
| #endif /* _SYS_TIMES_H */ |