Symbol: xa_insert_irq