94                                   int offset, uint32_t val)  in gicd_write_bitmap_reg()
118                                       int offset, uint32_t val)  in gicd_write_set_bitmap_reg()
142                                         int offset, uint32_t val)  in gicd_write_clear_bitmap_reg()
166                                      int offset)  in gicd_read_bitmap_reg()
301 static bool gicd_readb(GICv3State *s, hwaddr offset,  in gicd_readb()
321 static bool gicd_writeb(GICv3State *s, hwaddr offset,  in gicd_writeb()
349 static bool gicd_readw(GICv3State *s, hwaddr offset,  in gicd_readw()
361 static bool gicd_writew(GICv3State *s, hwaddr offset,  in gicd_writew()
373 static bool gicd_readl(GICv3State *s, hwaddr offset,  in gicd_readl()
605 static bool gicd_writel(GICv3State *s, hwaddr offset,  in gicd_writel()
819 static bool gicd_writeq(GICv3State *s, hwaddr offset,  in gicd_writeq()
835 static bool gicd_readq(GICv3State *s, hwaddr offset,  in gicd_readq()
851 MemTxResult gicv3_dist_read(void *opaque, hwaddr offset, uint64_t *data,  in gicv3_dist_read()
892 MemTxResult gicv3_dist_write(void *opaque, hwaddr offset, uint64_t data,  in gicv3_dist_write()