Lines Matching refs:uintmax_t
96 printf("user: %ju system: %ju\n", (uintmax_t)si.si_utime, in ATF_TC_BODY()
97 (uintmax_t)si.si_utime); in ATF_TC_BODY()
132 printf("user: %ju system: %ju\n", (uintmax_t)si.si_utime, in ATF_TC_BODY()
133 (uintmax_t)si.si_utime); in ATF_TC_BODY()
178 printf("user: %ju system: %ju\n", (uintmax_t)si.si_utime, in ATF_TC_BODY()
179 (uintmax_t)si.si_utime); in ATF_TC_BODY()
219 printf("user: %ju system: %ju\n", (uintmax_t)si.si_utime, in ATF_TC_BODY()
220 (uintmax_t)si.si_utime); in ATF_TC_BODY()
234 printf("user: %ju system: %ju\n", (uintmax_t)si.si_utime, in ATF_TC_BODY()
235 (uintmax_t)si.si_utime); in ATF_TC_BODY()
249 printf("user: %ju system: %ju\n", (uintmax_t)si.si_utime, in ATF_TC_BODY()
250 (uintmax_t)si.si_utime); in ATF_TC_BODY()
316 printf("user: %ju system: %ju\n", (uintmax_t)si.si_utime, in ATF_TC_BODY()
317 (uintmax_t)si.si_utime); in ATF_TC_BODY()