Symbol: gsc_alloc_irq