current->state 		= TASK_INTERRUPTIBLE; tmp = schedule_timeout(tmp); 
tmp = schedule_timeout_interruptible(tmp); 
void tms380tr_wait(unsigned long time){#if 0	long tmp;		tmp = jiffies + time/(1000000/HZ);	do {  		current->state 		= TASK_INTERRUPTIBLE;		tmp = schedule_timeout(tmp);	} while(time_after(tmp, jiffies));#else	udelay(time);#endif	return;}
4520	/local/tlutelli/issta_data/temp/c/2005_temp/2005/4520/3173c8907ffb2c64456142da3df2bd0500bd59e0/tms380tr.c/buggy/drivers/net/tokenring/tms380tr.c