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);