Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
drivers/media/dvb-core/dvbdev.c dvb_register_device() -> dvbdev_get_free_id()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 1 | type | 0-8 |
| BUF_SIZE | 0 | adap | (-1),424 |
| BUF_SIZE | 0 | adap | (-1),424 |
| DATA_SOURCE | 0 | adap | $0 |
| DATA_SOURCE | 1 | type | $4 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| LOCK2 | global &dvbdev_register_lock | ||
| HALF_LOCKED2 | global &frontend_mutex |