Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
drivers/media/dvb-core/dvb_frontend.c dvb_frontend_handle_ioctl() -> dvb_get_property()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | fe | 4096-ptr_max |
| PARAM_VALUE | 1 | file | 4096-ptr_max |
| PARAM_VALUE | 1 | file->private_data | 4096-ptr_max |
| BUF_SIZE | 0 | fe | 472,1296 |
| BUF_SIZE | 0 | fe | 472,1296 |
| BUF_SIZE | 2 | tvps | (-1),128-16383 |
| DATA_SOURCE | 1 | file | $0 |
| DATA_SOURCE | 2 | tvps | $2 |
| USER_DATA | 2 | tvps->num | 0-u32max[u] |
| USER_PTR | 2 | tvps | |
| LOCK2 | &fepriv->sem | ||
| TYPE_LOCK | (struct dvb_frontend_private)->sem |