gicd_igrpmodr_t Union Reference

GICD_IGRPMODR<n> — Distributor Interrupt Group Modifier Registers (offset 0x0D00 + 4n, RW) More...

Data Fields
uint32_t	raw
	Raw 32-bit register value.
struct {
uint32_t   grpmod: 32
	Bit n is the Group modifier for INTID (32*reg + n). 0 = Group 1 NS (when IGROUPR=1), 1 = Group 1 S (when IGROUPR=0).
};

Detailed Description

GICD_IGRPMODR<n> — Distributor Interrupt Group Modifier Registers (offset 0x0D00 + 4n, RW)

Modifier bits working in conjunction with GICD_IGROUPR<n> to select between Group 1 Secure and Group 1 Non-secure for each SPI. Register n covers INTIDs [32n+31 : 32n].

Reset to 0 on GIC reset.

---

The documentation for this union was generated from the following file:

• src/kernel/drivers/gicv3.c