Searched refs:gicv3_read_reg (Results 1 – 1 of 1) sorted by relevance
207 static uint32_t gicv3_read_reg(uint32_t intid, uint64_t offset, in gicv3_read_reg() function263 return gicv3_read_reg(intid, GICD_ISACTIVER, 32, 1); in gicv3_irq_get_active()278 return gicv3_read_reg(intid, GICD_ISPENDR, 32, 1); in gicv3_irq_get_pending()