set_current_state(TASK_INTERRUPTIBLE); 
__set_current_state(TASK_INTERRUPTIBLE); 
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/8a1c17574a01555e5d3fdf56d8d72969904c91ca/timer.c/buggy/kernel/timer.c