Symbol: txn_alloc_irq