arch_cpu_idle_time   34 arch/s390/include/asm/cputime.h u64 arch_cpu_idle_time(int cpu);
arch_cpu_idle_time   36 arch/s390/include/asm/cputime.h #define arch_idle_time(cpu) arch_cpu_idle_time(cpu)