get_idle_time
idle += get_idle_time(&kcpustat, i);
idle = get_idle_time(&kcpustat, i);
idle_nsec += get_idle_time(&kcs, i);
extern u64 get_idle_time(struct kernel_cpustat *kcs, int cpu);