cpuidle_pause    1446 drivers/base/power/main.c 	cpuidle_pause();
cpuidle_pause     155 include/linux/cpuidle.h extern void cpuidle_pause(void);
cpuidle_pause     108 kernel/power/suspend.c 	cpuidle_pause();