user_time          57 maint/gnulib/lib/getrusage.c           FILETIME user_time;
user_time          61 maint/gnulib/lib/getrusage.c                                &kernel_time, &user_time))
user_time          69 maint/gnulib/lib/getrusage.c                 ((((uint64_t) user_time.dwHighDateTime << 32)
user_time          70 maint/gnulib/lib/getrusage.c                   | (uint64_t) user_time.dwLowDateTime)
user_time          54 maint/gnulib/lib/times.c   FILETIME creation_time, exit_time, kernel_time, user_time;
user_time          57 maint/gnulib/lib/times.c                        &kernel_time, &user_time) == 0)
user_time          60 maint/gnulib/lib/times.c   buffer->tms_utime = filetime2clock (user_time);