void spin_unlock_irqrestore(spinlock_t *lock, unsigned long flags);