Symbol: get_cpu_idle_time_us
drivers/cpufreq/cpufreq.c
135
u64 idle_time = get_cpu_idle_time_us(cpu, io_busy ? wall : NULL);
include/linux/kernel_stat.h
164
extern u64 get_cpu_idle_time_us(int cpu, u64 *last_update_time);
kernel/sched/cputime.c
606
EXPORT_SYMBOL_GPL(get_cpu_idle_time_us);