void spin_lock_init(spinlock_t *lock);