Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
drivers/spi/spi.c __spi_pump_messages() -> __spi_pump_transfer_message()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | ctlr | 4096-ptr_max |
| PARAM_VALUE | 0 | ctlr->busy | 1 |
| PARAM_VALUE | 0 | ctlr->cur_msg | 4096-ptr_max |
| PARAM_VALUE | 0 | ctlr->io_mutex.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | ctlr->io_mutex.first_waiter | 0,4096-ptr_max |
| PARAM_VALUE | 0 | ctlr->io_mutex.first_waiter->list.prev->next | 5159360019465732096 |
| PARAM_VALUE | 0 | ctlr->io_mutex.osq.tail.counter | 0-s32max |
| PARAM_VALUE | 0 | ctlr->io_mutex.wait_lock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | ctlr->io_mutex.wait_lock.owner | (-1) |
| PARAM_VALUE | 0 | ctlr->io_mutex.wait_lock.owner_cpu | u32max |
| PARAM_VALUE | 0 | ctlr->queue_lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | ctlr->running | 1 |
| PARAM_VALUE | 1 | msg | 4096-ptr_max |
| PARAM_VALUE | 1 | msg->queue.next->prev | 4096-ptr_max |
| PARAM_VALUE | 1 | msg->queue.prev->next | 4096-ptr_max |
| CAPPED_DATA | 0 | &ctlr->io_mutex | 1 |
| CAPPED_DATA | 0 | &ctlr->queue | 1 |
| DATA_SOURCE | 0 | ctlr | $0 |
| PARAM_COMPARE | 0 | &ctlr->queue | != $0->queue.next |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| LOCK2 | 0 | &ctlr->io_mutex | |
| TYPE_LOCK | (struct spi_controller)->io_mutex |
drivers/spi/spi.c __spi_transfer_message_noqueue() -> __spi_pump_transfer_message()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | ctlr | 4096-ptr_max |
| PARAM_VALUE | 0 | ctlr->cur_msg | 4096-ptr_max |
| PARAM_VALUE | 0 | ctlr->cur_msg->actual_length | 0 |
| PARAM_VALUE | 0 | ctlr->cur_msg->status | (-115) |
| PARAM_VALUE | 0 | ctlr->io_mutex.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | ctlr->io_mutex.first_waiter | 0,4096-ptr_max |
| PARAM_VALUE | 0 | ctlr->io_mutex.first_waiter->list.prev->next | 5159360019465732096 |
| PARAM_VALUE | 0 | ctlr->io_mutex.osq.tail.counter | 0-s32max |
| PARAM_VALUE | 0 | ctlr->io_mutex.wait_lock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | ctlr->io_mutex.wait_lock.owner | (-1) |
| PARAM_VALUE | 0 | ctlr->io_mutex.wait_lock.owner_cpu | u32max |
| PARAM_VALUE | 0 | ctlr->must_async | 0 |
| PARAM_VALUE | 0 | ctlr->queue_empty | 1 |
| PARAM_VALUE | 1 | msg | 4096-ptr_max |
| PARAM_VALUE | 1 | msg->actual_length | 0 |
| PARAM_VALUE | 1 | msg->status | (-115) |
| CAPPED_DATA | 0 | &ctlr->io_mutex | 1 |
| DATA_SOURCE | 0 | ctlr | $0 |
| DATA_SOURCE | 1 | msg | $1 |
| STR_LEN | 0 | ctlr->cur_msg->spi | (-1) |
| STR_LEN | 1 | msg->spi | (-1) |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| LOCK2 | 0 | &ctlr->io_mutex | |
| HALF_LOCKED2 | &spi->controller->bus_lock_mutex | ||
| TYPE_LOCK | (struct spi_controller)->io_mutex |