bsps/dev/irq/arm-gic: Document the GICD_IROUTER offset

The GICD_IROUTER register technically starts at offset 0x6000, but the
first 32 IRQ entries are reserved making IRQ 32's entry at 0x6100 the
first usable entry. This register is not currently used, so only a
comment is added to that effect.

Closes #5223
This commit is contained in:
Kinsey Moore
2025-03-01 19:24:45 -06:00
committed by Joel Sherrill
parent 98d38900aa
commit 4fb6342a42

View File

@@ -209,6 +209,11 @@ typedef struct {
uint32_t reserved_3680[288];
uint32_t gicd_inmire[32];
uint32_t reserved_3b80[2400];
/*
* GICD_IROUTER's offset is 0x6100 because its first entry points to IRQ 32.
* IRQ 0-31 are reserved for GICD_IROUTER, otherwise its offset would be
* 0x6000.
*/
uint64_t gicd_irouter[992];
uint64_t gicd_iroutere[4096];
} gic_dist;