63 static inline void gic_write32(unsigned int reg, u32 val)  in gic_write32()  function
76 		return gic_write32(reg, (u32)val);  in gic_write()
127 	gic_write32(GIC_REG(SHARED, GIC_SH_INTR_MAP_TO_PIN_BASE) +  in gic_map_to_pin()
171 		gic_write32(GIC_REG(VPE_LOCAL, GIC_VPE_COMPARE_HI),  in gic_write_compare()
173 		gic_write32(GIC_REG(VPE_LOCAL, GIC_VPE_COMPARE_LO),  in gic_write_compare()
189 		gic_write32(GIC_REG(VPE_OTHER, GIC_VPE_COMPARE_HI),  in gic_write_cpu_compare()
191 		gic_write32(GIC_REG(VPE_OTHER, GIC_VPE_COMPARE_LO),  in gic_write_cpu_compare()
513 	gic_write32(GIC_REG(VPE_LOCAL, GIC_VPE_RMASK), 1 << intr);  in gic_mask_local_irq()
520 	gic_write32(GIC_REG(VPE_LOCAL, GIC_VPE_SMASK), 1 << intr);  in gic_unmask_local_irq()
538 		gic_write32(GIC_REG(VPE_OTHER, GIC_VPE_RMASK), 1 << intr);  in gic_mask_local_irq_all_vpes()
552 		gic_write32(GIC_REG(VPE_OTHER, GIC_VPE_SMASK), 1 << intr);  in gic_unmask_local_irq_all_vpes()
672 			gic_write32(GIC_REG(VPE_OTHER, GIC_VPE_RMASK), 1 << j);  in gic_basic_init()
717 			gic_write32(GIC_REG(VPE_OTHER, GIC_VPE_WD_MAP), val);  in gic_local_irq_domain_map()
720 			gic_write32(GIC_REG(VPE_OTHER, GIC_VPE_COMPARE_MAP),  in gic_local_irq_domain_map()
726 			gic_write32(GIC_REG(VPE_OTHER, GIC_VPE_TIMER_MAP),  in gic_local_irq_domain_map()
730 			gic_write32(GIC_REG(VPE_OTHER, GIC_VPE_PERFCTR_MAP),  in gic_local_irq_domain_map()
734 			gic_write32(GIC_REG(VPE_OTHER, GIC_VPE_SWINT0_MAP),  in gic_local_irq_domain_map()
738 			gic_write32(GIC_REG(VPE_OTHER, GIC_VPE_SWINT1_MAP),  in gic_local_irq_domain_map()
742 			gic_write32(GIC_REG(VPE_OTHER, GIC_VPE_FDC_MAP), val);  in gic_local_irq_domain_map()