Symbol: xa_cmpxchg_bh