Symbol: txn_claim_irq