Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
drivers/spi/spi.c __spi_optimize_message() -> (struct spi_controller)->optimize_message()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | msg | 4096-ptr_max |
| PARAM_VALUE | 0 | msg->resources.prev | 4096-ptr_max |
| PARAM_VALUE | 0 | msg->resources.prev->next | 4096-ptr_max |
| PARAM_VALUE | 0 | msg->resources.prev->next->next | 4096-ptr_max |
| PARAM_VALUE | 0 | msg->spi | 4096-ptr_max |
| PARAM_VALUE | 0 | msg->spi->controller | 4096-ptr_max |
| PARAM_VALUE | 0 | msg->status | (-115) |
| BUF_SIZE | 0 | msg | (-1),112 |
| BUF_SIZE | 0 | msg | (-1),112 |
| BUF_SIZE | 0 | msg->context | s32min-(-1),1-s32max |
| DATA_SOURCE | 0 | msg | $1 |
| STR_LEN | 0 | msg->spi | (-1) |
| PARAM_COMPARE | 0 | &msg->transfers | != $0->transfers.next |
| RX_PATH | |||
| TASK_NOT_RUNNING |