gic_cpu_config
void gic_cpu_config(void __iomem *base, int nr, u8 priority);
gic_cpu_config(rbase, gic_data.ppi_nr + SGI_NR, dist_prio_irq);
gic_cpu_config(dist_base, 32, GICD_INT_DEF_PRI);
gic_cpu_config(dist_base, 32, GICD_INT_DEF_PRI);