#ifndef _SYS_TIMES_H #define _SYS_TIMES_H #include <features.h> #include <sys/types.h> #include <time.h> #include <linux/times.h> __BEGIN_DECLS extern clock_t times __P ((struct tms * __tp)); extern clock_t __times __P ((struct tms * __tp)); __END_DECLS #endif