current->state = TASK_INTERRUPTIBLE; schedule_timeout(time); 
schedule_timeout_interruptible(time); 
static void sbp_sleep(u_int time){	sti();	current->state = TASK_INTERRUPTIBLE;	schedule_timeout(time);	sti();}
10457	/local/tlutelli/issta_data/temp/c/2005_temp/2005/10457/2ddee1b7a732dc96d479afaa7d0a26aa53990089/sbpcd.c/clean/drivers/cdrom/sbpcd.c