fluid_mutex_lock(timerMUTEX); 
rtsyn_mutex_lock(timerMUTEX); 
void rtsyn_stop_playing(void){#ifdef USE_WINTIMER_I	fluid_mutex_lock(timerMUTEX);#endif 	if(upper_voices) {		MidiEvent ev;		ev.type = ME_EOT;		ev.a = 0;		ev.b = 0;		rtsyn_play_event(&ev);		aq_flush(1);	}#ifdef USE_WINTIMER_I	fluid_mutex_unlock(timerMUTEX);#endif }
4357	/local/tlutelli/issta_data/temp/c/2005_temp/2005/4357/420a69188dfc20f4dc78ff06527ec9213d2da5c4/rtsyn_common.c/buggy/interface/rtsyn_common.c