taglinefilesource code
server_wait_flag36drivers/sound/patmgr.cserver_wait_flag[MAX_SYNTH_DEV]);
server_wait_flag61drivers/sound/patmgr.cRESET_WAIT_QUEUE (server_procs[dev], server_wait_flag[dev]);
server_wait_flag97drivers/sound/patmgr.cwhile (!ok && !PROCESS_ABORTING (server_procs[dev], server_wait_flag[dev]))
server_wait_flag102drivers/sound/patmgr.c!PROCESS_ABORTING (server_procs[dev], server_wait_flag[dev]))
server_wait_flag104drivers/sound/patmgr.cDO_SLEEP (server_procs[dev], server_wait_flag[dev], 0);
server_wait_flag193drivers/sound/patmgr.cif (SOMEONE_WAITING (server_procs[dev], server_wait_flag[dev]))
server_wait_flag195drivers/sound/patmgr.cWAKE_UP (server_procs[dev], server_wait_flag[dev]);
server_wait_flag247drivers/sound/patmgr.cif (SOMEONE_WAITING (server_procs[dev], server_wait_flag[dev]))
server_wait_flag249drivers/sound/patmgr.cWAKE_UP (server_procs[dev], server_wait_flag[dev]);