42 static char result[100];
47 if (
ru1.tv.tv_usec <
ru0->tv.tv_usec)
50 ru1.tv.tv_usec += 1000000;
52 if (
ru1.ru.ru_stime.tv_usec <
ru0->ru.ru_stime.tv_usec)
54 ru1.ru.ru_stime.tv_sec--;
55 ru1.ru.ru_stime.tv_usec += 1000000;
57 if (
ru1.ru.ru_utime.tv_usec <
ru0->ru.ru_utime.tv_usec)
59 ru1.ru.ru_utime.tv_sec--;
60 ru1.ru.ru_utime.tv_usec += 1000000;
64 _(
"CPU: user: %d.%02d s, system: %d.%02d s, elapsed: %d.%02d s"),
65 (
int) (
ru1.ru.ru_utime.tv_sec -
ru0->ru.ru_utime.tv_sec),
66 (
int) (
ru1.ru.ru_utime.tv_usec -
ru0->ru.ru_utime.tv_usec) / 10000,
67 (
int) (
ru1.ru.ru_stime.tv_sec -
ru0->ru.ru_stime.tv_sec),
68 (
int) (
ru1.ru.ru_stime.tv_usec -
ru0->ru.ru_stime.tv_usec) / 10000,
69 (
int) (
ru1.tv.tv_sec -
ru0->tv.tv_sec),
70 (
int) (
ru1.tv.tv_usec -
ru0->tv.tv_usec) / 10000);