rk3288 采用SGI 8号中断失败

[raswin]

在项目中设计内核驱动时，想着采用SGI 8到15作为自定义IPI，但实际执行时发现这些软中断号无法中断，难道RK3288 GIC400不支持？