Defined in 1 files as a function:
Referenced in 2 files:
Smatch caller information:
drivers/spi/spi.c __spi_setup() -> spi_set_cs()
| 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->auto_runtime_pm | 1 |
| PARAM_VALUE | 0 | spi->controller->dev.driver_data->mr | 0-4294967295 |
| PARAM_VALUE | 0 | spi->controller->dev.driver_data->pclk->core->dev->power.deferred_resume | 0-1 |
| PARAM_VALUE | 0 | spi->controller->dev.driver_data->pclk->core->dev->power.idle_notification | 0-1 |
| PARAM_VALUE | 0 | spi->controller->dev.driver_data->pclk->core->dev->power.request | 0-4294967295 |
| PARAM_VALUE | 0 | spi->controller->dev.driver_data->pclk->core->dev->power.request_pending | 0-1 |
| PARAM_VALUE | 0 | spi->controller->dev.driver_data->pclk->core->dev->power.runtime_error | s32min-s32max |
| PARAM_VALUE | 0 | spi->controller->dev.driver_data->pclk->core->dev->power.runtime_status | s32min-s32max |
| PARAM_VALUE | 0 | spi->controller->dev.driver_data->pclk->core->dev->power.timer_autosuspends | 0-1 |
| PARAM_VALUE | 0 | spi->controller->dev.driver_data->pclk->core->dev->power.usage_count.counter | s32min-s32max |
| PARAM_VALUE | 0 | spi->controller->dev.driver_data->pclk->core->dev->power.wakeirq->status | 0-4294967295 |
| PARAM_VALUE | 0 | spi->controller->dev.driver_data->scr | 0-4294967295 |
| PARAM_VALUE | 0 | spi->controller->dev.driver_data->spi_cs_timing1 | 0-4294967295 |
| PARAM_VALUE | 0 | spi->controller->dev.driver_data->spi_cs_timing2 | 0-4294967295 |
| PARAM_VALUE | 0 | spi->controller->dev.parent | 4096-ptr_max |
| PARAM_VALUE | 0 | spi->controller->dev.parent->power.request | 0-4 |
| PARAM_VALUE | 0 | spi->controller->dev.parent->power.runtime_error | s32min-(-17),(-15)-(-14),(-12),(-10)-s32max |
| PARAM_VALUE | 0 | spi->controller->dev.parent->power.wakeirq->status | 0-4294967295 |
| 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->set_cs | 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 |
| PARAM_VALUE | 1 | enable | 0 |
| PARAM_VALUE | 2 | force | 1 |
| BUF_SIZE | 0 | spi | (-1),1776 |
| BUF_SIZE | 0 | spi | (-1),1776 |
| 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 |
| CAPPED_DATA | 0 | spi->controller->max_speed_hz | 1 |
| CAPPED_DATA | 0 | spi->max_speed_hz | 1 |
| CAPPED_DATA | 0 | &spi->controller->io_mutex | 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_setup() -> spi_set_cs()
| 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->dev.driver_data->mr | 0-4294967295 |
| PARAM_VALUE | 0 | spi->controller->dev.driver_data->pclk->core->dev->power.deferred_resume | 0-1 |
| PARAM_VALUE | 0 | spi->controller->dev.driver_data->pclk->core->dev->power.idle_notification | 0-1 |
| PARAM_VALUE | 0 | spi->controller->dev.driver_data->pclk->core->dev->power.request | 0-4294967295 |
| PARAM_VALUE | 0 | spi->controller->dev.driver_data->pclk->core->dev->power.request_pending | 0-1 |
| PARAM_VALUE | 0 | spi->controller->dev.driver_data->pclk->core->dev->power.runtime_error | s32min-s32max |
| PARAM_VALUE | 0 | spi->controller->dev.driver_data->pclk->core->dev->power.runtime_status | s32min-s32max |
| PARAM_VALUE | 0 | spi->controller->dev.driver_data->pclk->core->dev->power.timer_autosuspends | 0-1 |
| PARAM_VALUE | 0 | spi->controller->dev.driver_data->pclk->core->dev->power.usage_count.counter | s32min-s32max |
| PARAM_VALUE | 0 | spi->controller->dev.driver_data->pclk->core->dev->power.wakeirq->status | 0-4294967295 |
| PARAM_VALUE | 0 | spi->controller->dev.driver_data->scr | 0-4294967295 |
| PARAM_VALUE | 0 | spi->controller->dev.driver_data->spi_cs_timing1 | 0-4294967295 |
| PARAM_VALUE | 0 | spi->controller->dev.driver_data->spi_cs_timing2 | 0-4294967295 |
| 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->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 |
| PARAM_VALUE | 1 | enable | 0 |
| PARAM_VALUE | 2 | force | 1 |
| BUF_SIZE | 0 | spi | (-1),1776 |
| BUF_SIZE | 0 | spi | (-1),1776 |
| 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 |
| CAPPED_DATA | 0 | spi->controller->max_speed_hz | 1 |
| CAPPED_DATA | 0 | spi->max_speed_hz | 1 |
| CAPPED_DATA | 0 | &spi->controller->io_mutex | 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_transfer_one_message() -> spi_set_cs()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | spi | 4096-ptr_max |
| PARAM_VALUE | 2 | force | 0 |
| STR_LEN | 0 | spi | (-1) |
| STR_LEN | 0 | spi | (-1) |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| LOCK2 | &ctlr->io_mutex | ||
| HALF_LOCKED2 | &ctlr->dev.driver_data->op_lock | ||
| TYPE_LOCK | (struct spi_controller)->io_mutex |
drivers/spi/spi.c spi_transfer_one_message() -> spi_set_cs()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | spi | 4096-ptr_max |
| PARAM_VALUE | 0 | spi->controller | 4096-ptr_max |
| PARAM_VALUE | 1 | enable | 0 |
| PARAM_VALUE | 2 | force | 0 |
| STR_LEN | 0 | spi | (-1) |
| STR_LEN | 0 | spi | (-1) |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| HOST_DATA | 0 | spi->controller->dev.driver_data->pending_slave_select | 0-4294967295[c] |
| LOCK2 | &ctlr->io_mutex | ||
| HALF_LOCKED2 | &ctlr->dev.driver_data->op_lock | ||
| TYPE_LOCK | (struct spi_controller)->io_mutex |
drivers/spi/spi.c spi_transfer_one_message() -> spi_set_cs()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | spi | 4096-ptr_max |
| PARAM_VALUE | 0 | spi->controller | 4096-ptr_max |
| PARAM_VALUE | 1 | enable | 1 |
| PARAM_VALUE | 2 | force | 0 |
| STR_LEN | 0 | spi | (-1) |
| STR_LEN | 0 | spi | (-1) |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| HOST_DATA | 0 | spi->controller->dev.driver_data->pending_slave_select | 0-4294967295[c] |
| LOCK2 | &ctlr->io_mutex | ||
| HALF_LOCKED2 | &ctlr->dev.driver_data->op_lock | ||
| TYPE_LOCK | (struct spi_controller)->io_mutex |
drivers/spi/spi.c spi_transfer_one_message() -> spi_set_cs()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | spi | 4096-ptr_max |
| PARAM_VALUE | 0 | spi->controller | 4096-ptr_max |
| PARAM_VALUE | 2 | force | 0 |
| STR_LEN | 0 | spi | (-1) |
| STR_LEN | 0 | spi | (-1) |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| HOST_DATA | 0 | spi->controller->dev.driver_data->pending_slave_select | 0-4294967295[c] |
| LOCK2 | &ctlr->io_mutex | ||
| HALF_LOCKED2 | &ctlr->dev.driver_data->op_lock | ||
| TYPE_LOCK | (struct spi_controller)->io_mutex |
drivers/spi/spi.c spi_transfer_one_message() -> spi_set_cs()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | spi | 4096-ptr_max |
| PARAM_VALUE | 0 | spi->controller | 4096-ptr_max |
| PARAM_VALUE | 1 | enable | 0 |
| PARAM_VALUE | 2 | force | 0 |
| STR_LEN | 0 | spi | (-1) |
| STR_LEN | 0 | spi | (-1) |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| HOST_DATA | 0 | spi->controller->dev.driver_data->pending_slave_select | 0-4294967295[c] |
| LOCK2 | &ctlr->io_mutex | ||
| HALF_LOCKED2 | &ctlr->dev.driver_data->op_lock | ||
| TYPE_LOCK | (struct spi_controller)->io_mutex |