94 	gic_write(GIC_REG(SHARED, GIC_SH_RMASK) + GIC_INTR_OFS(intr),  in gic_reset_mask()
100 	gic_write(GIC_REG(SHARED, GIC_SH_SMASK) + GIC_INTR_OFS(intr),  in gic_set_mask()
106 	gic_update_bits(GIC_REG(SHARED, GIC_SH_SET_POLARITY) +  in gic_set_polarity()
113 	gic_update_bits(GIC_REG(SHARED, GIC_SH_SET_TRIGGER) +  in gic_set_trigger()
120 	gic_update_bits(GIC_REG(SHARED, GIC_SH_SET_DUAL) + GIC_INTR_OFS(intr),  in gic_set_dual_edge()
127 	gic_write32(GIC_REG(SHARED, GIC_SH_INTR_MAP_TO_PIN_BASE) +  in gic_map_to_pin()
133 	gic_write(GIC_REG(SHARED, GIC_SH_INTR_MAP_TO_VPE_BASE) +  in gic_map_to_vpe()
144 		return (cycle_t)gic_read(GIC_REG(SHARED, GIC_SH_COUNTER));  in gic_read_count()
147 		hi = gic_read32(GIC_REG(SHARED, GIC_SH_COUNTER_63_32));  in gic_read_count()
148 		lo = gic_read32(GIC_REG(SHARED, GIC_SH_COUNTER_31_00));  in gic_read_count()
149 		hi2 = gic_read32(GIC_REG(SHARED, GIC_SH_COUNTER_63_32));  in gic_read_count()
159 	config = gic_read(GIC_REG(SHARED, GIC_SH_CONFIG));  in gic_get_count_width()
169 		gic_write(GIC_REG(VPE_LOCAL, GIC_VPE_COMPARE), cnt);  in gic_write_compare()
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()
184 	gic_write(GIC_REG(VPE_LOCAL, GIC_VPE_OTHER_ADDR), cpu);  in gic_write_cpu_compare()
187 		gic_write(GIC_REG(VPE_OTHER, GIC_VPE_COMPARE), cnt);  in gic_write_cpu_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()
203 		return (cycle_t)gic_read(GIC_REG(VPE_LOCAL, GIC_VPE_COMPARE));  in gic_read_compare()
205 	hi = gic_read32(GIC_REG(VPE_LOCAL, GIC_VPE_COMPARE_HI));  in gic_read_compare()
206 	lo = gic_read32(GIC_REG(VPE_LOCAL, GIC_VPE_COMPARE_LO));  in gic_read_compare()
216 	gicconfig = gic_read(GIC_REG(SHARED, GIC_SH_CONFIG));  in gic_start_count()
218 	gic_write(GIC_REG(SHARED, GIC_SH_CONFIG), gicconfig);  in gic_start_count()
226 	gicconfig = gic_read(GIC_REG(SHARED, GIC_SH_CONFIG));  in gic_stop_count()
228 	gic_write(GIC_REG(SHARED, GIC_SH_CONFIG), gicconfig);  in gic_stop_count()
241 	vpe_ctl = gic_read32(GIC_REG(VPE_LOCAL, GIC_VPE_CTL));  in gic_local_irq_is_routable()
263 	gic_write(GIC_REG(VPE_LOCAL, GIC_VPE_EIC_SHADOW_SET_BASE) +  in gic_bind_eic_interrupt()
269 	gic_write(GIC_REG(SHARED, GIC_SH_WEDGE), GIC_SH_WEDGE_SET(intr));  in gic_send_ipi()
327 	pending_reg = GIC_REG(SHARED, GIC_SH_PEND);  in gic_handle_shared_int()
328 	intrmask_reg = GIC_REG(SHARED, GIC_SH_MASK);  in gic_handle_shared_int()
377 	gic_write(GIC_REG(SHARED, GIC_SH_WEDGE), GIC_SH_WEDGE_CLR(irq));  in gic_ack_irq()
489 	pending = gic_read32(GIC_REG(VPE_LOCAL, GIC_VPE_PEND));  in gic_handle_local_int()
490 	masked = gic_read32(GIC_REG(VPE_LOCAL, GIC_VPE_MASK));  in gic_handle_local_int()
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()
537 		gic_write(GIC_REG(VPE_LOCAL, GIC_VPE_OTHER_ADDR), i);  in gic_mask_local_irq_all_vpes()
538 		gic_write32(GIC_REG(VPE_OTHER, GIC_VPE_RMASK), 1 << intr);  in gic_mask_local_irq_all_vpes()
551 		gic_write(GIC_REG(VPE_LOCAL, GIC_VPE_OTHER_ADDR), i);  in gic_unmask_local_irq_all_vpes()
552 		gic_write32(GIC_REG(VPE_OTHER, GIC_VPE_SMASK), 1 << intr);  in gic_unmask_local_irq_all_vpes()
668 		gic_write(GIC_REG(VPE_LOCAL, GIC_VPE_OTHER_ADDR), i);  in gic_basic_init()
672 			gic_write32(GIC_REG(VPE_OTHER, GIC_VPE_RMASK), 1 << j);  in gic_basic_init()
713 		gic_write(GIC_REG(VPE_LOCAL, GIC_VPE_OTHER_ADDR), i);  in gic_local_irq_domain_map()
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()
817 	gicconfig = gic_read(GIC_REG(SHARED, GIC_SH_CONFIG));  in __gic_init()
849 			timer_cpu_pin = gic_read32(GIC_REG(VPE_LOCAL,  in __gic_init()