gicr_igroupr0_t Union Reference

GICR_IGROUPR0 — Redistributor Interrupt Group Register 0 (SGI frame, offset 0x0080, RW) More...

Data Fields
uint32_t	raw
	Raw 32-bit register value.
struct {
uint32_t   sgi_group: 16
	[15:0] Group bits for SGIs (INTIDs 0-15). 0 = Group 0, 1 = Group 1 (see GICR_IGRPMODR0 for Secure/NS).
uint32_t   ppi_group: 16
	[31:16] Group bits for PPIs (INTIDs 16-31). 0 = Group 0, 1 = Group 1 (see GICR_IGRPMODR0 for Secure/NS).
};

Detailed Description

GICR_IGROUPR0 — Redistributor Interrupt Group Register 0 (SGI frame, offset 0x0080, RW)

Controls the Group assignment of each SGI and PPI for this PE. Each bit selects whether the corresponding INTID belongs to Group 0 or Group 1.

Bit values: 0 = Group 0 (secure, signaled as FIQ) 1 = Group 1 (non-secure or secure depending on GICR_IGRPMODR0)

Combined with GICR_IGRPMODR0: IGROUPR0=0, IGRPMODR0=0 → Group 0 IGROUPR0=1, IGRPMODR0=0 → Group 1 Non-secure IGROUPR0=0, IGRPMODR0=1 → Group 1 Secure IGROUPR0=1, IGRPMODR0=1 → Reserved

Reset to 0 on GIC reset (all SGIs/PPIs default to Group 0).

---

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

• src/kernel/drivers/gicv3.c