Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/spi/spi-imx.c spi_imx_transfer_one() -> spi_imx_poll_transfer()

Type Parameter Key Value
PARAM_VALUE 0 spi 4096-ptr_max
PARAM_VALUE 0 spi->controller 4096-ptr_max
PARAM_VALUE 0 spi->controller->dev.driver_data->bits_per_word 0-255
PARAM_VALUE 0 spi->controller->dev.driver_data->count 1-4294967295
PARAM_VALUE 0 spi->controller->dev.driver_data->dynamic_burst 0-1
PARAM_VALUE 0 spi->controller->dev.driver_data->rx 42342777452650496,113465671552167936,462074568686665728,4659679021030215680,6599172078914756608
PARAM_VALUE 0 spi->controller->dev.driver_data->rx_only 0-1
PARAM_VALUE 0 spi->controller->dev.driver_data->spi_bus_clk 0-4294967295
PARAM_VALUE 0 spi->controller->dev.driver_data->target_burst 1-4294967295
PARAM_VALUE 0 spi->controller->dev.driver_data->tx 111164812599615488,1973180455362531328,4613384052067262464,4807103415222149120,7782709079490289664
PARAM_VALUE 0 spi->controller->dev.driver_data->usedma 0-1
PARAM_VALUE 1 transfer 4096-ptr_max
PARAM_VALUE 1 transfer->len 1-u32max
CAPPED_DATA 1 transfer->len 1
DATA_SOURCE 0 spi $1
DATA_SOURCE 1 transfer $2
STR_LEN 0 spi (-1)
STR_LEN 0 spi (-1)
PARAM_COMPARE 0 spi->controller->dummy_tx >= $1->tx_buf
RX_PATH
TASK_NOT_RUNNING
LOCK2 &controller->io_mutex
HALF_LOCKED2 &controller->dev.driver_data->op_lock
TYPE_LOCK (struct spi_controller)->io_mutex