Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
drivers/spi/spi.c __spi_map_msg() -> spi_unmap_buf_attrs()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | ctlr | 4096-ptr_max |
| PARAM_VALUE | 0 | ctlr->can_dma | 1-u64max |
| PARAM_VALUE | 0 | ctlr->cur_msg | 4096-ptr_max |
| PARAM_VALUE | 0 | ctlr->dev.parent->power.wakeirq->status | 0-4294967295 |
| PARAM_VALUE | 0 | ctlr->dma_rx | 0,4096-u64max |
| PARAM_VALUE | 0 | ctlr->dma_rx->device | 4096-ptr_max |
| PARAM_VALUE | 0 | ctlr->dma_tx | 0,4096-u64max |
| PARAM_VALUE | 0 | ctlr->dma_tx->device | 4096-ptr_max |
| PARAM_VALUE | 0 | ctlr->flags | 8-u16max |
| 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.first_waiter->list.prev->prev | 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->io_mutex.wait_lock.raw_lock.val.counter | 0-s32max |
| PARAM_VALUE | 2 | sgt | 4096-ptr_max |
| PARAM_VALUE | 3 | dir | 1 |
| PARAM_VALUE | 4 | attrs | 32 |
| BUF_SIZE | 0 | ctlr->dummy_rx | (-1),1-s32max |
| BUF_SIZE | 0 | ctlr->dummy_tx | (-1),1-s32max |
| DATA_SOURCE | 0 | ctlr | $0 |
| STR_LEN | 0 | ctlr->cur_msg->spi | (-1) |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| UNITS | 1 | dev | unit_byte |
| LOCK2 | 0 | &ctlr->io_mutex | |
| HALF_LOCKED2 | 0 | &ctlr->dev.driver_data->op_lock | |
| TYPE_LOCK | (struct spi_controller)->io_mutex |
drivers/spi/spi.c __spi_unmap_msg() -> spi_unmap_buf_attrs()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | ctlr | 4096-ptr_max |
| PARAM_VALUE | 0 | ctlr->dev.parent->power.wakeirq->status | 0-4294967295 |
| PARAM_VALUE | 2 | sgt | 4096-ptr_max |
| PARAM_VALUE | 3 | dir | 2 |
| PARAM_VALUE | 4 | attrs | 32 |
| BUF_SIZE | 0 | ctlr | s32min-(-1),1-s32max |
| BUF_SIZE | 0 | ctlr | s32min-(-1),1-s32max |
| DATA_SOURCE | 0 | ctlr | $0 |
| STR_LEN | 0 | ctlr->cur_msg->spi | (-1) |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| UNITS | 0 | ctlr | unit_byte |
| UNITS | 1 | dev | unit_byte |
| HALF_LOCKED2 | 0 | &ctlr->dev.driver_data->op_lock | |
| HALF_LOCKED2 | 0 | &ctlr->io_mutex |
drivers/spi/spi.c __spi_unmap_msg() -> spi_unmap_buf_attrs()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | ctlr | 4096-ptr_max |
| PARAM_VALUE | 0 | ctlr->dev.parent->power.wakeirq->status | 0-4294967295 |
| PARAM_VALUE | 2 | sgt | 4096-ptr_max |
| PARAM_VALUE | 3 | dir | 1 |
| PARAM_VALUE | 4 | attrs | 32 |
| BUF_SIZE | 0 | ctlr | s32min-(-1),1-s32max |
| BUF_SIZE | 0 | ctlr | s32min-(-1),1-s32max |
| DATA_SOURCE | 0 | ctlr | $0 |
| STR_LEN | 0 | ctlr->cur_msg->spi | (-1) |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| UNITS | 0 | ctlr | unit_byte |
| UNITS | 1 | dev | unit_byte |
| HALF_LOCKED2 | 0 | &ctlr->dev.driver_data->op_lock | |
| HALF_LOCKED2 | 0 | &ctlr->io_mutex |
drivers/spi/spi.c spi_unmap_buf() -> spi_unmap_buf_attrs()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | ctlr | 4096-ptr_max |
| PARAM_VALUE | 0 | ctlr->mem_ops->exec_op | 0,4096-ptr_max |
| PARAM_VALUE | 0 | ctlr->mem_ops->poll_status | 0,1805854965638074368,5682553516745547776 |
| PARAM_VALUE | 2 | sgt | 202104989471838208,401416969897193472,950939142605922304,5388088649056448512,5672928608870449152 |
| PARAM_VALUE | 2 | sgt->nents | 0-s32max |
| PARAM_VALUE | 2 | sgt->orig_nents | 0 |
| PARAM_VALUE | 2 | sgt->sgl | 0 |
| PARAM_VALUE | 3 | dir | 1-2 |
| PARAM_VALUE | 4 | attrs | 0 |
| DATA_SOURCE | 0 | ctlr | $0 |
| DATA_SOURCE | 1 | dev | $1 |
| DATA_SOURCE | 2 | sgt | $2 |
| DATA_SOURCE | 3 | dir | $3 |
| FUZZY_MAX | 3 | dir | 2 |
| HARD_MAX | 3 | dir | 2 |
| MEM_ZERO | 2 | sgt | |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| NO_OVERFLOW_SIMPLE | 2 | sgt->nents | |
| UNITS | 1 | dev | unit_byte |
| HALF_LOCKED2 | &mem->spi->controller->bus_lock_mutex | ||
| HALF_LOCKED2 | &mem->spi->controller->io_mutex | ||
| HALF_LOCKED2 | &ospi->lock | ||
| HALF_LOCKED2 | &qspi->list_lock | ||
| HALF_LOCKED2 | &qspi->lock | ||
| HALF_LOCKED2 | &spi->mutex_lock | ||
| HALF_LOCKED2 | 0 | &ctlr->bus_lock_mutex | |
| HALF_LOCKED2 | 0 | &ctlr->io_mutex | |
| TYPE_LOCK | (struct spi_controller)->io_mutex |