prcmu_gic_pending_irq   59 drivers/cpuidle/cpuidle-ux500.c 		if (prcmu_gic_pending_irq())
prcmu_gic_pending_irq   14 include/linux/platform_data/arm-ux500-pm.h bool prcmu_gic_pending_irq(void);