Я сейчас читаю linux источник таймера на платформе MTK armv8 как разработчик программного обеспечения. Согласно «IHI0069C_gic_architecture_specification.pdf» от ARM. Каждый тип PPI (Private Peripheral Interrupt) имеет идентификатор прерывания, который получается из "ICC_IAR1_EL1".
Однако документ только из руки ПРЕДЛАГАЕТ, какой тип должен использовать какой идентификатор прерывания. (стр. 2-32) И я не вижу никого, кто бы записывал ID прерывания в регистр.
Так что arm не пишет, программное обеспечение не пишет. Тогда кто это сделал? И где я могу получить документ с идентификатором прерывания для какого типа IRQ?