times
times(struct tms *tp)
#define times _times
times(const atf_tc_t *tc, const char *mp)
struct times {