prcmu_gic_decouple   37 drivers/cpuidle/cpuidle-ux500.c 		if (prcmu_gic_decouple()) {
prcmu_gic_decouple   12 include/linux/platform_data/arm-ux500-pm.h int prcmu_gic_decouple(void);