get_cpu_idle_time_us - Linux

Symbol: get_cpu_idle_time_us

drivers/cpufreq/cpufreq.c

u64 idle_time = get_cpu_idle_time_us(cpu, io_busy ? wall : NULL);

fs/proc/stat.c

idle_usecs = get_cpu_idle_time_us(cpu, NULL);

include/linux/tick.h

extern u64 get_cpu_idle_time_us(int cpu, u64 *last_update_time);

kernel/time/tick-sched.c

EXPORT_SYMBOL_GPL(get_cpu_idle_time_us);