On Wed, Mar 10, 2010 at 06:22:21PM +0200, Imre Deak wrote: > recently you've added support for __cmpxchg for ARMv6+. There the assumption > is that ldrex[bh]/strex[bh] is only supported on platforms with the 32v6K > extension. > > Currently the __xchg code uses these even without the extension. Should this > be fixed?