Documented in 1 files:

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/spi/spi.c __spi_setup() -> (struct spi_controller)->setup()

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.first_waiter->task->blocked_on 0
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->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 (-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
CONTAINER 0 -2216-1616+0 $(-1)
NOSPEC 0 spi->max_speed_hz
RX_PATH
TASK_NOT_RUNNING
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