Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
drivers/spi/spi-imx.c spi_imx_push() -> (struct spi_imx_data)->tx()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | spi_imx | 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->devtype_data->fifo_size | 1-u32max |
| PARAM_VALUE | 0 | spi_imx->remainder | 1-u32max |
| PARAM_VALUE | 0 | spi_imx->txfifo | 0-4294967294 |
| BUF_SIZE | 0 | spi_imx | s32min-(-1),1-s32max |
| BUF_SIZE | 0 | spi_imx | s32min-(-1),1-s32max |
| BUF_SIZE | 0 | spi_imx->rx_buf | s32min-(-1),1-s32max |
| BUF_SIZE | 0 | spi_imx->tx_buf | s32min-(-1),1-s32max |
| CAPPED_DATA | 0 | spi_imx->remainder | 1 |
| CAPPED_DATA | 0 | spi_imx->txfifo | 1 |
| DATA_SOURCE | 0 | spi_imx | $0 |
| CONTAINER | 0 | -176+0 | $(-1) |
| PARAM_COMPARE | 0 | spi_imx->devtype_data->fifo_size | > $0->txfifo |
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| HOST_DATA | 0 | *spi_imx->rx_buf | s64min-s64max |
| HALF_LOCKED2 | &controller->io_mutex |