/* | |
* 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 */ |