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 | 97 | drivers/sound/patmgr.c | while (!ok && !PROCESS_ABORTING (server_procs[dev], server_wait_flag[dev])) |
server_wait_flag | 102 | drivers/sound/patmgr.c | !PROCESS_ABORTING (server_procs[dev], server_wait_flag[dev])) |
server_wait_flag | 104 | drivers/sound/patmgr.c | DO_SLEEP (server_procs[dev], server_wait_flag[dev], 0); |
server_wait_flag | 193 | drivers/sound/patmgr.c | if (SOMEONE_WAITING (server_procs[dev], server_wait_flag[dev])) |
server_wait_flag | 195 | drivers/sound/patmgr.c | WAKE_UP (server_procs[dev], server_wait_flag[dev]); |
server_wait_flag | 247 | drivers/sound/patmgr.c | if (SOMEONE_WAITING (server_procs[dev], server_wait_flag[dev])) |
server_wait_flag | 249 | drivers/sound/patmgr.c | WAKE_UP (server_procs[dev], server_wait_flag[dev]); |