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