Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/spi/spi-imx.c spi_imx_setupxfer() -> (struct spi_imx_devtype_data)->prepare_transfer()

Type Parameter Key Value
PARAM_VALUE 0 spi_imx 4096-ptr_max
PARAM_VALUE 0 spi_imx->bits_per_word 0-255
PARAM_VALUE 0 spi_imx->controller 4096-ptr_max
PARAM_VALUE 0 spi_imx->count 1-u32max
PARAM_VALUE 0 spi_imx->devtype_data 4096-ptr_max
PARAM_VALUE 0 spi_imx->dynamic_burst 0-1
PARAM_VALUE 0 spi_imx->rx 42342777452650496,113465671552167936,462074568686665728,4659679021030215680,6599172078914756608
PARAM_VALUE 0 spi_imx->tx 111164812599615488,1973180455362531328,4613384052067262464,4807103415222149120,7782709079490289664
PARAM_VALUE 1 spi 4096-ptr_max
PARAM_VALUE 1 spi->controller 4096-ptr_max
PARAM_VALUE 1 spi->dev.of_node->kobj.release.wq->dfl_pwq 0-s64max
PARAM_VALUE 1 spi->dev.of_node->kobj.release.wq->saved_max_active s32min-s32max
PARAM_VALUE 1 spi->dev.of_node->kobj.release.wq->saved_min_active s32min-s32max
PARAM_VALUE 2 t 4096-ptr_max
PARAM_VALUE 2 t->len 1-u32max
BUF_SIZE 0 spi_imx s32min-(-2),1-s32max
BUF_SIZE 0 spi_imx s32min-(-2),1-s32max
CAPPED_DATA 0 spi_imx->count 1
CAPPED_DATA 2 t->len 1
CAPPED_DATA 2 t->tx_buf 1
DATA_SOURCE 1 spi $0
DATA_SOURCE 2 t $1
FUZZY_MAX 0 spi_imx->dynamic_burst 1
STR_LEN 0 spi_imx (-1)
STR_LEN 1 spi (-1)
CONTAINER 0 -16-448+0 $(-1)
BIT_INFO 0 spi_imx->rx 0x0,0x5ffffffffffff000
BIT_INFO 0 spi_imx->tx 0x40000000,0x7ffffffffffff000
HARD_MAX 0 spi_imx->dynamic_burst 1
RX_PATH
TASK_NOT_RUNNING
LOCK2 &controller->io_mutex
HALF_LOCKED2 &controller->dev.driver_data->op_lock
TYPE_LOCK (struct spi_controller)->io_mutex