| tag | line | file | source code |
|---|
| server_wait_flag | 36 | drivers/sound/patmgr.c | server_wait_flag[MAX_SYNTH_DEV]); |
| server_wait_flag | 61 | drivers/sound/patmgr.c | RESET_WAIT_QUEUE (server_procs[dev], server_wait_flag[dev]); |
| server_wait_flag | 95 | drivers/sound/patmgr.c | while (!ok && !PROCESS_ABORTING (server_procs[dev], server_wait_flag[dev])) |
| server_wait_flag | 100 | drivers/sound/patmgr.c | !PROCESS_ABORTING (server_procs[dev], server_wait_flag[dev])) |
| server_wait_flag | 102 | drivers/sound/patmgr.c | DO_SLEEP (server_procs[dev], server_wait_flag[dev], 0); |
| server_wait_flag | 191 | drivers/sound/patmgr.c | if (SOMEONE_WAITING (server_procs[dev], server_wait_flag[dev])) |
| server_wait_flag | 193 | drivers/sound/patmgr.c | WAKE_UP (server_procs[dev], server_wait_flag[dev]); |
| server_wait_flag | 245 | drivers/sound/patmgr.c | if (SOMEONE_WAITING (server_procs[dev], server_wait_flag[dev])) |
| server_wait_flag | 247 | drivers/sound/patmgr.c | WAKE_UP (server_procs[dev], server_wait_flag[dev]); |