prcmu_pending_irq   63 drivers/cpuidle/cpuidle-ux500.c 		if (prcmu_pending_irq())
prcmu_pending_irq   15 include/linux/platform_data/arm-ux500-pm.h bool prcmu_pending_irq(void);