ARM gic v2

1.The Distributor

1.1.对于分发器, 0-31号中断是'banked'.(相关描述最好感受原文 ARM®Generic Interrupt Controller Architecture version 2.0)

Interrupt numbers ID0-ID31 are used for interrupts that are private to a CPU interface. These interrupts are banked in the Distributor. A banked interrupt is one where the Distributor can have multiple interrupts with the same ID.

意味着，对于多核，主核启动时要初始化gic的0-31号中断，从核也要初始化0-31号中断。

1.1.1.ID0-ID15 are used for SGIs, ID16-ID31 are used for PPIs.

SGI软中断，GICD_SGIR，通过此寄存器来触发，来定义该分发向哪个核；

对于PPI,如何区分属于哪个核？

私有中断(Private Peripheral Interrupt,PPI), 即每一个CPU特有的中断，其他CPU不能处理的中断，例如私有的Timer.