Added comments for spinlock.h