static inline long cond_wait_interruptible_timeout_irqrestore(	wait_queue_head_t *q, long timeout,	spinlock_t *lock, unsigned long flags ){	DEFINE_WAIT(wait);	prepare_to_wait(q, &wait, TASK_UNINTERRUPTIBLE);	spin_unlock_irqrestore(lock, flags);	timeout = schedule_timeout(timeout);	finish_wait(q, &wait);	return timeout;}
10457	/local/tlutelli/issta_data/temp/c/2005_temp/2005/10457/45f23f189ca66d98b1f8b7f3d30a194d3188039d/digi_acceleport.c/clean/drivers/usb/serial/digi_acceleport.c