timer - 谁负责分配中断 ID？

Question

我目前正在以软件开发人员的身份阅读 MTK armv8 平台上的 linux 计时器源。根据 ARM 的“IHI0069C_gic_architecture_specification.pdf”。每种类型的 PPI(Private Peripheral Interrupt) 都有一个从“ICC_IAR1_EL1”获得的中断 ID。

但是来自 arm 的文档只建议使用什么类型的中断 ID。（第 2-32 页）而且我看不到有人将中断 ID 写入寄存器。

所以 arm 不写它，软件不写它。那么是谁干的呢？我在哪里可以获得哪个中断 ID 代表哪种类型的 IRQ 的文档？

标签： timerarminterruptarm64