uint32_t __sync_fetch_and_xor_4(uint32_t *ptr, uint32_t value, ...) { return OSAtomicXor32OrigBarrier(value, ptr); }
int32_t OSAtomicXor32Barrier(uint32_t value,volatile uint32_t* target) { return OSAtomicXor32OrigBarrier(value,target) ^ value; }