gicr_igrpmodr0_t Union Reference

GICR_IGRPMODR0 — Redistributor Interrupt Group Modifier Register 0 (SGI frame, offset 0x0D00, RW) More...

Data Fields
uint32_t	raw
	Raw 32-bit register value.
struct {
uint32_t   sgi_grpmod: 16
	[15:0] Group modifier bits for SGIs (INTIDs 0-15).
uint32_t   ppi_grpmod: 16
	[31:16] Group modifier bits for PPIs (INTIDs 16-31).
};

Detailed Description

GICR_IGRPMODR0 — Redistributor Interrupt Group Modifier Register 0 (SGI frame, offset 0x0D00, RW)

Modifier bits that work in conjunction with GICR_IGROUPR0 to select between Group 1 Secure and Group 1 Non-secure for each SGI and PPI.

Combined with GICR_IGROUPR0: 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.

---

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

• src/kernel/drivers/gicv3.c