c22b22d7b1
The current example of a spinlock was not correct. The lock is actually acquired when old == result. So we only need to deschedule when this is not the case.