while (timeout && !signal_pending(current)) { set_current_state(TASK_INTERRUPTIBLE); timeout = schedule_timeout(timeout); } 
while (timeout && !signal_pending(current)) timeout = schedule_timeout_interruptible(timeout); 
unsigned long msleep_interruptible(unsigned int msecs){	unsigned long timeout = msecs_to_jiffies(msecs) + 1;	while (timeout && !signal_pending(current)) {		set_current_state(TASK_INTERRUPTIBLE);		timeout = schedule_timeout(timeout);	}	return jiffies_to_msecs(timeout);}
10457	/local/tlutelli/issta_data/temp/c/2005_temp/2005/10457/75bcc8c5e1de78616b04ef9f317a293a7c1c163c/timer.c/clean/kernel/timer.c