Symbol: xa_cmpxchg_irq