Searched refs:gicv3_read_reg (Results 1 – 1 of 1) sorted by relevance
207 static u32 gicv3_read_reg(u32 intid, u64 offset, in gicv3_read_reg() function 263 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()