Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
drivers/spi/spi-imx.c spi_imx_isr() -> (struct spi_imx_devtype_data)->rx_available()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | spi_imx | 4096-ptr_max |
| PARAM_VALUE | 0 | spi_imx->devtype_data | 4096-ptr_max |
| PARAM_VALUE | 0 | spi_imx->txfifo | 1-u32max |
| DATA_SOURCE | 0 | spi_imx | $1 |
| CONTAINER | 0 | -32-448+0 | $(-1) |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| HOST_DATA | 0 | *spi_imx->rx_buf | s64min-s64max |
| HALF_LOCKED2 | &desc->request_mutex | ||
| HALF_LOCKED2 | flags |
drivers/spi/spi-imx.c spi_imx_isr() -> (struct spi_imx_devtype_data)->rx_available()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | spi_imx | 4096-ptr_max |
| PARAM_VALUE | 0 | spi_imx->devtype_data | 4096-ptr_max |
| PARAM_VALUE | 0 | spi_imx->txfifo | 1-u32max |
| DATA_SOURCE | 0 | spi_imx | $1 |
| CONTAINER | 0 | -32-448+0 | $(-1) |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| HOST_DATA | 0 | *spi_imx->rx_buf | s64min-s64max |
| HALF_LOCKED2 | &desc->request_mutex | ||
| HALF_LOCKED2 | flags |
drivers/spi/spi-imx.c spi_imx_poll_transfer() -> (struct spi_imx_devtype_data)->rx_available()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | spi_imx | 4096-ptr_max |
| PARAM_VALUE | 0 | spi_imx->devtype_data | 4096-ptr_max |
| PARAM_VALUE | 0 | spi_imx->txfifo | 1-u32max |
| BUF_SIZE | 0 | spi_imx | s32min-(-2),1-s32max |
| BUF_SIZE | 0 | spi_imx | s32min-(-2),1-s32max |
| BUF_SIZE | 0 | spi_imx->rx_buf | s32min-(-1),1-s32max |
| CAPPED_DATA | 0 | spi_imx->devtype_data->fifo_size | 1 |
| CONTAINER | 0 | -32-448+0 | $(-1) |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| HOST_DATA | 0 | *spi_imx->rx_buf | s64min-s64max |
| LOCK2 | &controller->io_mutex | ||
| HALF_LOCKED2 | &controller->dev.driver_data->op_lock | ||
| TYPE_LOCK | (struct spi_controller)->io_mutex |
drivers/spi/spi-imx.c spi_imx_poll_transfer() -> (struct spi_imx_devtype_data)->rx_available()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | spi_imx | 4096-ptr_max |
| PARAM_VALUE | 0 | spi_imx->devtype_data | 4096-ptr_max |
| PARAM_VALUE | 0 | spi_imx->txfifo | 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->devtype_data->fifo_size | 1 |
| CONTAINER | 0 | -32-448+0 | $(-1) |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| HOST_DATA | 0 | *spi_imx->rx_buf | s64min-s64max |
| LOCK2 | &controller->io_mutex | ||
| HALF_LOCKED2 | &controller->dev.driver_data->op_lock | ||
| TYPE_LOCK | (struct spi_controller)->io_mutex |
drivers/spi/spi-imx.c spi_imx_transfer_one() -> (struct spi_imx_devtype_data)->rx_available()
| 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->count | 1-4294967295 |
| 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->rx_only | 0-1 |
| PARAM_VALUE | 0 | spi_imx->spi_bus_clk | 0-4294967295 |
| PARAM_VALUE | 0 | spi_imx->target_burst | 1-4294967295 |
| PARAM_VALUE | 0 | spi_imx->tx | 111164812599615488,1973180455362531328,4613384052067262464,4807103415222149120,7782709079490289664 |
| PARAM_VALUE | 0 | spi_imx->usedma | 0-1 |
| BUF_SIZE | 0 | spi_imx | s32min-(-2),1-s32max |
| BUF_SIZE | 0 | spi_imx | s32min-(-2),1-s32max |
| CONTAINER | 0 | -32-448+0 | $(-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 |
drivers/spi/spi-imx.c spi_imx_transfer_one() -> (struct spi_imx_devtype_data)->rx_available()
| 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->count | 1-4294967295 |
| 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->rx_only | 0-1 |
| PARAM_VALUE | 0 | spi_imx->spi_bus_clk | 0-4294967295 |
| PARAM_VALUE | 0 | spi_imx->target_burst | 1-4294967295 |
| PARAM_VALUE | 0 | spi_imx->tx | 111164812599615488,1973180455362531328,4613384052067262464,4807103415222149120,7782709079490289664 |
| PARAM_VALUE | 0 | spi_imx->usedma | 0-1 |
| BUF_SIZE | 0 | spi_imx | s32min-(-2),1-s32max |
| BUF_SIZE | 0 | spi_imx | s32min-(-2),1-s32max |
| CONTAINER | 0 | -32-448+0 | $(-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 |