current->state = TASK_INTERRUPTIBLE; schedule_timeout(cs); 
schedule_timeout_interruptible(cs); 
static void pf_sleep(int cs){	current->state = TASK_INTERRUPTIBLE;	schedule_timeout(cs);}
4520	/local/tlutelli/issta_data/temp/c/2005_temp/2005/4520/86e8486245a01f05a3267b2e8b5c02c2303b670d/pf.c/buggy/drivers/block/paride/pf.c