Lines Matching refs:gic_read32
45 static inline u32 gic_read32(unsigned int reg) in gic_read32() function
58 return gic_read32(reg); in gic_read()
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()
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()
241 vpe_ctl = gic_read32(GIC_REG(VPE_LOCAL, GIC_VPE_CTL)); in gic_local_irq_is_routable()
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()
849 timer_cpu_pin = gic_read32(GIC_REG(VPE_LOCAL, in __gic_init()