Defined in 1 files as a prototype:
Defined in 1 files as a function:
Referenced in 2 files:
Smatch caller information:
sound/core/seq/oss/seq_oss_synth.c snd_seq_oss_synth_cleanup() -> snd_seq_oss_midi_close()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | dp | 4096-ptr_max |
| PARAM_VALUE | 0 | dp->max_synthdev | 1-16 |
| PARAM_VALUE | 0 | dp->synths | 4096-ptr_max |
| PARAM_VALUE | 0 | dp->synths->arg.addr.client | 0-255 |
| PARAM_VALUE | 0 | dp->synths->arg.addr.port | 0-255 |
| PARAM_VALUE | 0 | dp->synths->arg.app_index | (-1)-0 |
| PARAM_VALUE | 0 | dp->synths->arg.event_passing | 0-2 |
| PARAM_VALUE | 0 | dp->synths->arg.file_mode | s32min-s32max |
| PARAM_VALUE | 0 | dp->synths->arg.seq_mode | s32min-s32max |
| PARAM_VALUE | 0 | dp->synths->is_midi | 0-1 |
| PARAM_VALUE | 0 | dp->synths->midi_mapped | 0-3 |
| PARAM_VALUE | 0 | dp->synths->nr_voices | s32min-s32max |
| PARAM_VALUE | 0 | dp->synths->opened | s32min-s32max |
| BUF_SIZE | 0 | dp | (-1),26,968 |
| BUF_SIZE | 0 | dp | (-1),26,968 |
| BUF_SIZE | 0 | dp->writeq | (-1),184 |
| BUF_SIZE | 0 | dp->writeq->dp | (-1),968 |
| CAPPED_DATA | 0 | dp | 1 |
| DATA_SOURCE | 0 | dp | $0 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| LOCK2 | _T->lock |
sound/core/seq/oss/seq_oss_synth.c snd_seq_oss_synth_reset() -> snd_seq_oss_midi_close()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | dp | 4096-ptr_max |
| PARAM_VALUE | 0 | dp->max_synthdev | 1-s32max |
| PARAM_VALUE | 1 | dev | 0-2147483646 |
| BUF_SIZE | 0 | dp | s32min-(-1),1-s32max |
| BUF_SIZE | 0 | dp | s32min-(-1),1-s32max |
| CAPPED_DATA | 0 | dp | 1 |
| CAPPED_DATA | 1 | dev | 1 |
| DATA_SOURCE | 0 | dp | $0 |
| DATA_SOURCE | 1 | dev | $1 |
| PARAM_COMPARE | 1 | dev | < $0->max_synthdev |
| CONSTRAINT | 1 | dev | <2 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| HALF_LOCKED2 | _T->lock |
sound/core/seq/oss/seq_oss_midi.c snd_seq_oss_midi_cleanup() -> snd_seq_oss_midi_close()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | dp | 4096-ptr_max |
| PARAM_VALUE | 0 | dp->max_mididev | 1-s32max |
| PARAM_VALUE | 0 | dp->max_synthdev | 0,17-s32max |
| PARAM_VALUE | 0 | dp->synths->arg.app_index | (-1)-0 |
| PARAM_VALUE | 0 | dp->synths->arg.event_passing | 0-2 |
| PARAM_VALUE | 0 | dp->synths->is_midi | 0-1 |
| PARAM_VALUE | 0 | dp->synths->midi_mapped | 0-3 |
| PARAM_VALUE | 1 | dev | 0-s32max |
| BUF_SIZE | 0 | dp | (-1),26,968 |
| BUF_SIZE | 0 | dp | (-1),26,968 |
| BUF_SIZE | 0 | dp->writeq | (-1),184 |
| BUF_SIZE | 0 | dp->writeq->dp | (-1),968 |
| CAPPED_DATA | 0 | dp | 1 |
| CAPPED_DATA | 1 | dev | 1 |
| DATA_SOURCE | 0 | dp | $0 |
| PARAM_COMPARE | 0 | dp->max_mididev | > $1 |
| PARAM_COMPARE | 1 | dev | < $0->max_mididev |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| LOCK2 | _T->lock |