Update spinlock.c