xchg_u32
return xchg_u32(ptr, with);
__xchg__res = xchg_u32(__xchg_ptr, x); \
return xchg_u32(ptr, x);