GIC中断
在GICv3中，不同中断类型具有不同的中断号范围，其定义如下：
| 中断类型 | 中断号 | 说明 |
|---|---|---|
| SGI | 0 - 15 | |
| PPI | 16 – 31 | |
| SPI | 32 - 1019 | |
| 特殊中断号 | 1020 - 1023 | |
| 保留中断号 | 1024 - 1055 | |
| 扩展PPI | 1056 -1119 | GICv3.1版本后才支持 |
| 保留中断号 | 1120 - 4095 | |
| 扩展SPI | 4096 - 5119 | GICv3.1版本后才支持 |
| 保留中断号 | 5120 - 8191 | |
| LPI | 8192 - | 最大支持的中断号由实现确定 |
所以一般的硬件中断属于SPI中断，即硬件中断号0，对应映射后的中断号32