kernelTime        238 src/ftdm_cpu_monitor.c 	FILETIME kernelTime;
kernelTime        244 src/ftdm_cpu_monitor.c 	if (!GetSystemTimes(&idleTime, &kernelTime, &userTime)) {
kernelTime        250 src/ftdm_cpu_monitor.c 	i64KernelTime = (int64_t)kernelTime.dwLowDateTime | ((int64_t)kernelTime.dwHighDateTime << 32);