Nucleus

#ifndef _SYS_TIMES_H
#define _SYS_TIMES_H

#include <stdint.h>

typedef uint64_t clock_t;

/* Structure for a times call */
typedef struct tms {
	clock_t utime;
	clock_t stime;
	clock_t cutime;
	clock_t cstime;
} Times;

clock_t times(Times *buf);

#endif