void spin_lock_irq(spinlock_t *lock);