icc_iar1_el1_t Union Reference

ICC_IAR1_EL1 — Interrupt Controller Interrupt Acknowledge Register 1. More...

Data Fields
uint64_t	raw
	Raw 64-bit register value.
struct {
uint32_t   intid: 24
	[23:0] INTID: The INTID of the acknowledged interrupt. Values 1020–1023 are special spurious/group indicators. Always check for 1023 before processing.
uint64_t   res0: 40
	[63:24] Reserved.
};

Detailed Description

ICC_IAR1_EL1 — Interrupt Controller Interrupt Acknowledge Register 1.

Read-only. Reading this register acknowledges the highest-priority pending Group 1 interrupt and returns its INTID. This simultaneously moves the interrupt from pending to active state.

Special INTIDs:

• 1020 : Interrupt was a Group 0 interrupt (spurious for Group 1 read)
• 1021 : Interrupt was a Non-secure Group 1 (from Secure state read)
• 1022 : Reserved
• 1023 : Spurious interrupt (no pending interrupt, or PMR/enable masked)

---

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

• src/kernel/drivers/gicv3.c