Symbol: t4_alloc_irq