ICC_IGRPEN1_EL1 — Interrupt Controller Group 1 Enable (EL1). More...

Data Fields
uint64_t	raw
	Raw 64-bit register value.

struct {

bool enable: 1
	[0] Enable: Group 1 interrupt forwarding enable. 0 = Group 1 interrupts are not forwarded to this PE. 1 = Group 1 interrupts are forwarded to this PE.

uint64_t res0: 63
	[63:1] Reserved.

};

Detailed Description

ICC_IGRPEN1_EL1 — Interrupt Controller Group 1 Enable (EL1).

Enables or disables forwarding of Group 1 interrupts to the PE for the current Security state. This is the final gate before interrupts are actually signaled to the processor.

Note: The Distributor (GICD_CTLR.EnableGrp1NS) and Redistributor (GICR_CTLR DPG bits) must also permit the interrupt for delivery to occur. All three gates must be open.

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

src/kernel/drivers/gicv3.c

Data Fields

Detailed Description