GICv3的关键术语总结

1. Idle Priority（空闲优先级）

当 CPU 接口上没有活动中断时，从 ICC_RPR_EL1 读取的默认优先级值为 0xFF（GICv3 固定值）。

2. Interrupt Identifier (INTID)（中断标识符）

唯一标识一个中断的数字编号，包含中断源和事件信息。
PPI（私有外设中断）和 SGI（软件生成中断）：INTID 是每个 PE 局部的。
SPI（共享外设中断）和 LPI（本地外设中断）：INTID 在物理域中全局唯一。

3. Interrupt Routing Infrastructure (IRI)（中断路由基础设施）

Distributor：全局中断分发器。
Redistributors：将中断