59 static uint32_t mask_group_and_nsacr(GICv3State *s, MemTxAttrs attrs,  in mask_group_and_nsacr()
92 static void gicd_write_bitmap_reg(GICv3State *s, MemTxAttrs attrs,  in gicd_write_bitmap_reg()
115 static void gicd_write_set_bitmap_reg(GICv3State *s, MemTxAttrs attrs,  in gicd_write_set_bitmap_reg()
139 static void gicd_write_clear_bitmap_reg(GICv3State *s, MemTxAttrs attrs,  in gicd_write_clear_bitmap_reg()
163 static uint32_t gicd_read_bitmap_reg(GICv3State *s, MemTxAttrs attrs,  in gicd_read_bitmap_reg()
196 static uint8_t gicd_read_ipriorityr(GICv3State *s, MemTxAttrs attrs, int irq)  in gicd_read_ipriorityr()
221 static void gicd_write_ipriorityr(GICv3State *s, MemTxAttrs attrs, int irq,  in gicd_write_ipriorityr()
243 static uint64_t gicd_read_irouter(GICv3State *s, MemTxAttrs attrs, int irq)  in gicd_read_irouter()
264 static void gicd_write_irouter(GICv3State *s, MemTxAttrs attrs, int irq,  in gicd_write_irouter()
302                        uint64_t *data, MemTxAttrs attrs)  in gicd_readb()
322                         uint64_t value, MemTxAttrs attrs)  in gicd_writeb()
350                        uint64_t *data, MemTxAttrs attrs)  in gicd_readw()
362                         uint64_t value, MemTxAttrs attrs)  in gicd_writew()
374                        uint64_t *data, MemTxAttrs attrs)  in gicd_readl()
606                         uint64_t value, MemTxAttrs attrs)  in gicd_writel()
820                         uint64_t value, MemTxAttrs attrs)  in gicd_writeq()
836                        uint64_t *data, MemTxAttrs attrs)  in gicd_readq()
852                             unsigned size, MemTxAttrs attrs)  in gicv3_dist_read()
893                              unsigned size, MemTxAttrs attrs)  in gicv3_dist_write()