SMP ARM系统如何触发和处理ARM PPI？ 我正在研究一个ARMv7项目，它有2个内核。根据ARMGICv2规范，每个内核有16个PPI。所以我的理解是PPI是每个ARM的本地，应该向内核发出信号并由内核处理。我无法弄清楚每个内核如何处理PPI。让我以localtimer为例，每个内核都有一个本地计时器，可以中断连接的内核，在这种情况下，如何安装/注册该计时器中断的软件中断处理程序？或者每个内核的中断目标都有一个全局中断处理程序？