Searched refs:gicd_write_bitmap_reg (Results 1 – 1 of 1) sorted by relevance
92 static void gicd_write_bitmap_reg(GICv3State *s, MemTxAttrs attrs, in gicd_write_bitmap_reg() function787 gicd_write_bitmap_reg(s, attrs, s->nmi, NULL, in gicd_writel()