set_current_state(TASK_INTERRUPTIBLE); schedule_timeout(limit); 
schedule_timeout_interruptible(limit); 
wavefront_sleep (int limit){	set_current_state(TASK_INTERRUPTIBLE);	schedule_timeout(limit);	return signal_pending(current);}
4520	/local/tlutelli/issta_data/temp/c/2005_temp/2005/4520/8433a509c0eb6bb1f33ce39c82c580b8901619ee/wavefront_synth.c/buggy/sound/isa/wavefront/wavefront_synth.c