Defined in 1 files as a prototype:
Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
sound/core/seq/seq_clientmgr.c snd_seq_ioctl_get_port_info() -> snd_seq_get_port_info()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | port | 4096-ptr_max |
| PARAM_VALUE | 0 | port->closing | 0 |
| PARAM_VALUE | 1 | info | 4096-ptr_max |
| PARAM_VALUE | 1 | info->addr.client | 0-191 |
| BUF_SIZE | 1 | info | 64,80,88,140,168,188,192 |
| BUF_SIZE | 1 | info | 64,80,88,140,168,188,192 |
| CAPPED_DATA | 0 | port->addr.port | 1 |
| CAPPED_DATA | 1 | info->addr.port | 1 |
| DATA_SOURCE | 0 | port | r snd_seq_port_use_ptr |
| DATA_SOURCE | 1 | info | $1 |
| HARD_MAX | 1 | info->addr.client | 191 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| USER_DATA | 1 | info->addr.client | 0-191[u] |
| USER_DATA | 1 | info->addr.port | 0-255[c] |
| USER_DATA | 1 | info->capability | 0-u32max[u] |
| USER_DATA | 1 | info->direction | 0-255[u] |
| USER_DATA | 1 | info->flags | 0-u32max[u] |
| USER_DATA | 1 | info->midi_channels | s32min-s32max[u] |
| USER_DATA | 1 | info->midi_voices | s32min-s32max[u] |
| USER_DATA | 1 | info->read_use | s32min-s32max[u] |
| USER_DATA | 1 | info->synth_voices | s32min-s32max[u] |
| USER_DATA | 1 | info->time_queue | 0-255[u] |
| USER_DATA | 1 | info->type | 0-u32max[u] |
| USER_DATA | 1 | info->ump_group | 0-255[u] |
| USER_DATA | 1 | info->write_use | s32min-s32max[u] |
| USER_PTR | 1 | info | |
| HALF_LOCKED2 | _T->lock |
sound/core/seq/seq_clientmgr.c snd_seq_ioctl_query_next_port() -> snd_seq_get_port_info()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | port | 4096-ptr_max |
| PARAM_VALUE | 0 | port->closing | 0 |
| PARAM_VALUE | 1 | info | 4096-ptr_max |
| BUF_SIZE | 1 | info | 64,80,88,140,168,188,192 |
| BUF_SIZE | 1 | info | 64,80,88,140,168,188,192 |
| DATA_SOURCE | 0 | port | r snd_seq_port_query_nearest |
| DATA_SOURCE | 1 | info | $1 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| USER_DATA | 1 | info->capability | 0-u32max[u] |
| USER_DATA | 1 | info->direction | 0-255[u] |
| USER_DATA | 1 | info->flags | 0-u32max[u] |
| USER_DATA | 1 | info->midi_channels | s32min-s32max[u] |
| USER_DATA | 1 | info->midi_voices | s32min-s32max[u] |
| USER_DATA | 1 | info->read_use | s32min-s32max[u] |
| USER_DATA | 1 | info->synth_voices | s32min-s32max[u] |
| USER_DATA | 1 | info->time_queue | 0-255[u] |
| USER_DATA | 1 | info->type | 0-u32max[u] |
| USER_DATA | 1 | info->ump_group | 0-255[u] |
| USER_DATA | 1 | info->write_use | s32min-s32max[u] |
| USER_PTR | 1 | info | |
| HALF_LOCKED2 | _T->lock |