__set_current_state(TASK_INTERRUPTIBLE); return schedule_timeout(timeout); 
__set_current_state(TASK_INTERRUPTIBLE); return schedule_timeout(timeout); 
signed long __sched schedule_timeout_interruptible(signed long timeout){       __set_current_state(TASK_INTERRUPTIBLE);       return schedule_timeout(timeout);}
10457	/local/tlutelli/issta_data/temp/c/2005_temp/2005/10457/a5a0d52c7305cb3629ef0cc9e2e0e106869e1907/timer.c/clean/kernel/timer.c