void GIC_IRQHandler(void)
{
Uint32 num = gpGIC_InterfaceBase[GICC_IAR];
- Log_Debug("GIC", "IRQ 0x%x", num);
- gaIRQ_Handlers[num]( num, gaIRQ_HandlerData[num] );
+ if( gaIRQ_Handlers[num] ) {
+ gaIRQ_Handlers[num]( num, gaIRQ_HandlerData[num] );
+ }
+ else {
+ Log_Debug("GIC", "IRQ 0x%x unhandled", num);
+ }
gpGIC_InterfaceBase[GICC_EOIR] = num;
}