Searched refs:gic_read32 (Results 1 – 1 of 1) sorted by relevance
45 static inline u32 gic_read32(unsigned int reg) in gic_read32() function58 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()[all …]