1#include <sys/times.h>
2#include "syscall.h"
3
4clock_t times(struct tms *tms)
5{
6	return __syscall(SYS_times, tms);
7}