/* Future home of xchg() and cmpxchg() */