Lines Matching refs:uintmax_t
92 printf("user: %ju system: %ju\n", (uintmax_t)si.si_utime, in ATF_TC_BODY()
93 (uintmax_t)si.si_utime); in ATF_TC_BODY()
127 printf("user: %ju system: %ju\n", (uintmax_t)si.si_utime, in ATF_TC_BODY()
128 (uintmax_t)si.si_utime); in ATF_TC_BODY()
164 printf("user: %ju system: %ju\n", (uintmax_t)si.si_utime, in ATF_TC_BODY()
165 (uintmax_t)si.si_utime); in ATF_TC_BODY()
204 printf("user: %ju system: %ju\n", (uintmax_t)si.si_utime, in ATF_TC_BODY()
205 (uintmax_t)si.si_utime); in ATF_TC_BODY()
217 printf("user: %ju system: %ju\n", (uintmax_t)si.si_utime, in ATF_TC_BODY()
218 (uintmax_t)si.si_utime); in ATF_TC_BODY()
230 printf("user: %ju system: %ju\n", (uintmax_t)si.si_utime, in ATF_TC_BODY()
231 (uintmax_t)si.si_utime); in ATF_TC_BODY()
296 printf("user: %ju system: %ju\n", (uintmax_t)si.si_utime, in ATF_TC_BODY()
297 (uintmax_t)si.si_utime); in ATF_TC_BODY()