gicd_igroupr_t Union Reference

GICD_IGROUPR<n> — Distributor Interrupt Group Registers (offset 0x0080 + 4n, RW) More...

Data Fields
uint32_t	raw
	Raw 32-bit register value.
struct {
uint32_t   group: 32
	Bit n sets Group for INTID (32*reg + n). 0 = Group 0, 1 = Group 1 (see GICD_IGRPMODR for Secure/NS).
};

Detailed Description

GICD_IGROUPR<n> — Distributor Interrupt Group Registers (offset 0x0080 + 4n, RW)

Controls Group 0 vs Group 1 assignment for each SPI. Register n covers INTIDs [32n+31 : 32n].

Combined with GICD_IGRPMODR<n>: IGROUPR=0, IGRPMODR=0 → Group 0 IGROUPR=1, IGRPMODR=0 → Group 1 Non-secure IGROUPR=0, IGRPMODR=1 → Group 1 Secure IGROUPR=1, IGRPMODR=1 → Reserved

Reset to 0 on GIC reset (all INTIDs default to Group 0).

---

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

• src/kernel/drivers/gicv3.c