On Wed, Jan 27, 2016 at 07:14:26PM +0100, Olivier Houchard wrote: > Hi, > > I may be reading the arm64 code wrong, but shouldn't : > ldr x0, =_C_LABEL(blocked_lock) > ldr x2, [x0] > > be just: > ldr x2, =_C_LABEL(blocked_lock) You are right, I believe.