user_end          162 libutil/statistics.c 	CPU_TIME_TYPE user_end;
user_end          170 libutil/statistics.c 	GET_CPU_TIME(&user_end, &system_end);
user_end          171 libutil/statistics.c 	SUB_CPU_TIME(&user_end, &t->user_start, &t->user);