RK3568 GPIO中断问题请教

固件用的官方（使用 bl31镜像(官方镜像)，该镜像作用是将 CPU3 最先启动，核间通信）及官方HAL库。遇到的问题：使用HAL示例GIC使用CPU1触发中断没有问题，但是模仿示例更改GIC于CPU3，GPIO的中断无法触发。定时器中断和串口中断都正常。在固件中查找GIC配置，没有找到。向各位大神请教，感谢！

HAL库里有路由到CPU3的示例，也试过了，没有触发。

什么HAL库？
是什么板子？