cmpxchg_u32
} while (cmpxchg_u32(p, oldv, newv) != oldv);
return cmpxchg_u32(ptr, old, new);
load32 = cmpxchg_u32(p, old32, new32);