Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/media/dvb-frontends/cxd2880/cxd2880_devio_spi.c cxd2880_io_spi_read_reg() -> (struct cxd2880_spi)->write_read()

Type Parameter Key Value
PARAM_VALUE 0 spi 4096-ptr_max
PARAM_VALUE 1 tx_data 4096-ptr_max
PARAM_VALUE 2 tx_size 6
PARAM_VALUE 3 rx_data 1-u64max
PARAM_VALUE 4 rx_size 1-193,255
BUF_SIZE 0 spi 40
BUF_SIZE 1 tx_data 6
BUF_SIZE 3 rx_data (-1),2-5,7-8,14,16,20,37
BUF_SIZE 3 rx_data (-1),2-5,7-8,14,16,20,37
DATA_SOURCE 3 rx_data $3
CONTAINER 0 -16+0 $(-1)
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 priv->spi_mutex