Searched refs:gic_read (Results 1 – 1 of 1) sorted by relevance
55 static inline unsigned long gic_read(unsigned int reg) in gic_read() function86 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()[all …]