user_usec          68 maint/gnulib/lib/getrusage.c               uint64_t user_usec =
user_usec          73 maint/gnulib/lib/getrusage.c               usage_p->ru_utime.tv_sec = user_usec / 1000000U;
user_usec          74 maint/gnulib/lib/getrusage.c               usage_p->ru_utime.tv_usec = user_usec % 1000000U;
user_usec          94 maint/gnulib/lib/getrusage.c                 uint64_t user_usec;
user_usec         108 maint/gnulib/lib/getrusage.c                 user_usec =
user_usec         115 maint/gnulib/lib/getrusage.c                 usage_p->ru_utime.tv_sec = user_usec / 1000000U;
user_usec         116 maint/gnulib/lib/getrusage.c                 usage_p->ru_utime.tv_usec = user_usec % 1000000U;
user_usec          30 maint/gnulib/tests/bench-digest.h   long user_usec;
user_usec          58 maint/gnulib/tests/bench-digest.h   ts->user_usec = (usage.ru_utime.tv_sec - ts->user_start.tv_sec) * 1000000
user_usec          68 maint/gnulib/tests/bench-digest.h   printf ("user %7.3f\n", (double)ts->user_usec / 1000000.0);