Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
drivers/spi/spi-tegra114.c tegra_spi_setup() -> tegra_spi_cleanup()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | spi | 4096-ptr_max |
| PARAM_VALUE | 0 | spi->bits_per_word | 1-255 |
| PARAM_VALUE | 0 | spi->controller | 4096-ptr_max |
| PARAM_VALUE | 0 | spi->controller->io_mutex.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | spi->controller->io_mutex.first_waiter | 0,4096-ptr_max |
| PARAM_VALUE | 0 | spi->controller->io_mutex.first_waiter->list.prev->next | 5159360019465732096 |
| PARAM_VALUE | 0 | spi->controller->io_mutex.osq.tail.counter | 0-s32max |
| PARAM_VALUE | 0 | spi->controller->io_mutex.wait_lock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | spi->controller->io_mutex.wait_lock.owner | (-1) |
| PARAM_VALUE | 0 | spi->controller->io_mutex.wait_lock.owner_cpu | u32max |
| PARAM_VALUE | 0 | spi->controller->setup | 1-u64max |
| PARAM_VALUE | 0 | spi->controller_data | 1-u64max |
| PARAM_VALUE | 0 | spi->dev.dma_io_tlb_mem->can_grow | 0-1 |
| PARAM_VALUE | 0 | spi->dev.dma_io_tlb_mem->debugfs | 0-s64max |
| PARAM_VALUE | 0 | spi->dev.dma_io_tlb_mem->for_alloc | 0-1 |
| PARAM_VALUE | 0 | spi->dev.dma_io_tlb_mem->force_bounce | 0-1 |
| PARAM_VALUE | 0 | spi->dev.dma_io_tlb_mem->nslabs | 0-s64max |
| PARAM_VALUE | 0 | spi->dev.dma_io_tlb_mem->phys_limit | 0-s64max |
| PARAM_VALUE | 0 | *spi->chip_select | 0-255 |
| BUF_SIZE | 0 | spi->controller | (-1),64,176,208,272,360,504,696,976,1656,1728,1776,2360,2864-5728 |
| BUF_SIZE | 0 | spi->controller_data | s32min-(-1),1-s32max |
| BUF_SIZE | 0 | spi->dev.init_name | (-1),50 |
| BUF_SIZE | 0 | spi->dev.platform_data | (-1),32 |
| CAPPED_DATA | 0 | spi->controller->max_speed_hz | 1 |
| CAPPED_DATA | 0 | spi->max_speed_hz | 1 |
| DATA_SOURCE | 0 | spi | $0 |
| FUZZY_MAX | 0 | spi->bits_per_word | 8 |
| STR_LEN | 0 | spi | (-1),56 |
| STR_LEN | 0 | spi | (-1),56 |
| STR_LEN | 0 | spi->dev.init_name | (-1),49 |
| NOSPEC | 0 | spi->max_speed_hz | |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| HOST_DATA | 0 | spi->controller->num_chipselect | 1-32[c] |
| HOST_DATA | 0 | spi->controller->num_data_lanes | 0-u16max[c] |
| USER_DATA | 0 | spi->bits_per_word | 1-255 |
| USER_DATA | 0 | spi->max_speed_hz | 1-u32max[c] |
| USER_DATA | 0 | spi->mode | 0-524287[c] |
| NO_OVERFLOW_SIMPLE | 0 | spi->controller->kworker->task->dl.pi_se->dl_runtime | |
| NO_OVERFLOW_SIMPLE | 0 | spi->controller->num_chipselect | |
| LOCK2 | 0 | &spi->controller->io_mutex | |
| HALF_LOCKED2 | 0 | &spi->controller->bus_lock_mutex | |
| TYPE_LOCK | (struct spi_controller)->io_mutex |
drivers/spi/spi.c spi_cleanup() -> (struct spi_controller)->cleanup()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | spi | 4096-ptr_max |
| PARAM_VALUE | 0 | spi->controller | 4096-ptr_max |
| PARAM_VALUE | 0 | spi->controller->cleanup | 1-u64max |
| PARAM_VALUE | 0 | spi->controller->dev.parent->power.wakeirq->status | 0-4294967295 |
| PARAM_VALUE | 0 | spi->dev.dma_io_tlb_mem->can_grow | 0-1 |
| PARAM_VALUE | 0 | spi->dev.dma_io_tlb_mem->debugfs | 0-s64max |
| PARAM_VALUE | 0 | spi->dev.dma_io_tlb_mem->for_alloc | 0-1 |
| PARAM_VALUE | 0 | spi->dev.dma_io_tlb_mem->force_bounce | 0-1 |
| PARAM_VALUE | 0 | spi->dev.dma_io_tlb_mem->nslabs | 0-s64max |
| PARAM_VALUE | 0 | spi->dev.dma_io_tlb_mem->phys_limit | 0-s64max |
| PARAM_VALUE | 0 | spi->dev.kobj.sd->attr.open->nr_mmapped | 0-4294967295 |
| PARAM_VALUE | 0 | spi->dev.power.wakeirq->status | 0-4294967295 |
| PARAM_VALUE | 0 | *spi->chip_select | 0-255 |
| BUF_SIZE | 0 | spi | (-1),32,56,416,424,520,752,784,880,904,1000,1088,1384,1400,1616,1696,1744,1776,1800,2368,3112,5144,5176,51056 |
| BUF_SIZE | 0 | spi | (-1),32,56,416,424,520,752,784,880,904,1000,1088,1384,1400,1616,1696,1744,1776,1800,2368,3112,5144,5176,51056 |
| BUF_SIZE | 0 | spi->controller | (-1),3-6,8,12,16,24,32,56,64,80,112,136,176,208,272,360,504,696,976,1616,1656,1688,1728,1776,2360,2864-5728 |
| BUF_SIZE | 0 | spi->controller_data | s32min-(-1),1-s32max |
| BUF_SIZE | 0 | spi->dev.init_name | (-1),50 |
| BUF_SIZE | 0 | spi->dev.platform_data | (-1),32 |
| DATA_SOURCE | 0 | spi | $0 |
| STR_LEN | 0 | spi | (-1) |
| STR_LEN | 0 | spi | (-1) |
| STR_LEN | 0 | spi->dev.init_name | (-1),49 |
| CONTAINER | 0 | -2240-1616+0 | $(-1) |
| NOSPEC | 0 | spi->max_speed_hz | |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| HOST_DATA | 0 | spi->controller->num_chipselect | 1-32[c] |
| HOST_DATA | 0 | spi->controller->num_data_lanes | 0-u16max[c] |
| USER_DATA | 0 | spi->bits_per_word | 1-255 |
| USER_DATA | 0 | spi->max_speed_hz | 1-u32max[c] |
| USER_DATA | 0 | spi->mode | 0-524287[c] |
| NO_OVERFLOW_SIMPLE | 0 | spi->controller->kworker->task->dl.pi_se->dl_runtime | |
| NO_OVERFLOW_SIMPLE | 0 | spi->controller->num_chipselect | |
| HALF_LOCKED2 | &ctlr->add_lock |