cpuidle_pause     447 drivers/cpuidle/cpuidle.c void cpuidle_pause(void)
cpuidle_pause     194 include/linux/cpuidle.h static inline void cpuidle_pause(void) { }