Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
drivers/media/pci/ddbridge/ddbridge-core.c ts_read() -> ddb_input_read()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | input | 4096-ptr_max |
| PARAM_VALUE | 0 | input->dma | 4096-ptr_max |
| PARAM_VALUE | 0 | input->port | 4096-ptr_max |
| PARAM_VALUE | 0 | input->port->dev | 4096-ptr_max |
| PARAM_VALUE | 2 | count | 1-1000000000,1147479552-2147479552,18446744072709551617-u64max |
| DATA_SOURCE | 1 | buf | $1 |
| USER_DATA | 1 | buf | 0-u64max[c] |
| USER_DATA | 2 | count | 1-1000000000,18446744072709551617-u64max |