Update spinlock.h