prcmu_copy_gic_settings   54 drivers/cpuidle/cpuidle-ux500.c 		if (prcmu_copy_gic_settings())
prcmu_copy_gic_settings   17 include/linux/platform_data/arm-ux500-pm.h int prcmu_copy_gic_settings(void);