206f341a51
Maximum GIC SPI is 228, so maximum INTID is 228 + 32 = 260. So, _sw_isr_table needs to support 260 entries Signed-off-by: Raveendra Padasalagi <raveendra.padasalagi@broadcom.com> Signed-off-by: Abhishek Shah <abhishek.shah@broadcom.com> |
||
---|---|---|
.. | ||
valkyrie | ||
viper | ||
CMakeLists.txt | ||
Kconfig | ||
Kconfig.defconfig | ||
Kconfig.soc |