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