Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
sound/core/device.c snd_device_disconnect() -> look_for_dev()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | card | 1-u64max |
| PARAM_VALUE | 1 | device_data | 1-u64max |
| DATA_SOURCE | 0 | card | $0 |
| DATA_SOURCE | 1 | device_data | $1 |
| RX_PATH | |||
| TASK_NOT_RUNNING |
sound/core/device.c snd_device_free() -> look_for_dev()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | card | 1-u64max |
| PARAM_VALUE | 1 | device_data | 1-u64max |
| BUF_SIZE | 0 | card | s32min-(-1),1-s32max |
| BUF_SIZE | 0 | card | s32min-(-1),1-s32max |
| BUF_SIZE | 0 | card->private_data | (-1),64,2728 |
| BUF_SIZE | 1 | device_data | (-1),72,104,256,376,448,1696,2728 |
| BUF_SIZE | 1 | device_data | (-1),72,104,256,376,448,1696,2728 |
| DATA_SOURCE | 0 | card | $0 |
| DATA_SOURCE | 1 | device_data | $1 |
| STR_LEN | 0 | card | (-1),13-14 |
| STR_LEN | 0 | card | (-1),13-14 |
| STR_LEN | 0 | card->driver | (-1)-15 |
| STR_LEN | 0 | card->longname | (-1),79 |
| PREEMPT_ADD | |||
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| UNITS | 0 | card | unit_byte |
| UNITS | 1 | device_data | unit_byte |
| HALF_LOCKED2 | &_dev->mutex | ||
| HALF_LOCKED2 | &dev->mutex | ||
| HALF_LOCKED2 | _T->lock | ||
| HALF_LOCKED2 | global &gbcodec->register_mutex |
sound/core/device.c snd_device_register() -> look_for_dev()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | card | 1-u64max |
| PARAM_VALUE | 1 | device_data | 1-u64max |
| DATA_SOURCE | 0 | card | $0 |
| DATA_SOURCE | 1 | device_data | $1 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| HALF_LOCKED2 | _T->lock | ||
| HALF_LOCKED2 | global &gbcodec->register_mutex |