Lines Matching refs:gic_read
55 static inline unsigned long gic_read(unsigned int reg) in gic_read() function
86 regval = gic_read(reg); in gic_update_bits()
144 return (cycle_t)gic_read(GIC_REG(SHARED, GIC_SH_COUNTER)); in gic_read_count()
159 config = gic_read(GIC_REG(SHARED, GIC_SH_CONFIG)); in gic_get_count_width()
203 return (cycle_t)gic_read(GIC_REG(VPE_LOCAL, GIC_VPE_COMPARE)); in gic_read_compare()
216 gicconfig = gic_read(GIC_REG(SHARED, GIC_SH_CONFIG)); in gic_start_count()
226 gicconfig = gic_read(GIC_REG(SHARED, GIC_SH_CONFIG)); in gic_stop_count()
331 pending[i] = gic_read(pending_reg); in gic_handle_shared_int()
332 intrmask[i] = gic_read(intrmask_reg); in gic_handle_shared_int()
339 pending[i] |= (u64)gic_read(pending_reg) << 32; in gic_handle_shared_int()
340 intrmask[i] |= (u64)gic_read(intrmask_reg) << 32; in gic_handle_shared_int()
817 gicconfig = gic_read(GIC_REG(SHARED, GIC_SH_CONFIG)); in __gic_init()