Searched refs:gicr_inmir0 (Results 1 – 4 of 4) sorted by relevance
176 uint32_t gicr_inmir0; member
147 nmi = extract32(cs->gicr_inmir0, irq, 1); in gicv3_get_priority()
423 gicr_read_bitmap_reg(cs, attrs, cs->gicr_inmir0) : 0; in gicr_readl()576 gicr_write_bitmap_reg(cs, attrs, &cs->gicr_inmir0, value); in gicr_writel()
180 VMSTATE_UINT32(gicr_inmir0, GICv3CPUState),