Symbol: xen_atomic_xchg