void spin_lock(spinlock_t *lock);