Symbol: gic_handle_cascade_irq