Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/spi/spi-bcm2835.c bcm2835_spi_setup() -> bcm2835_spi_setup_dma()

Type Parameter Key Value
PARAM_VALUE 0 ctlr 4096-ptr_max
PARAM_VALUE 0 ctlr->io_mutex.first_waiter 0,4096-ptr_max
PARAM_VALUE 0 ctlr->io_mutex.osq.tail.counter 0-s32max
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->setup 1-u64max
PARAM_VALUE 1 spi 4096-ptr_max
PARAM_VALUE 1 spi->bits_per_word 1-255
PARAM_VALUE 1 spi->controller 4096-ptr_max
PARAM_VALUE 1 spi->controller->io_mutex.dep_map->name 0-255
PARAM_VALUE 1 spi->controller->io_mutex.first_waiter 0,4096-ptr_max
PARAM_VALUE 1 spi->controller->io_mutex.first_waiter->list.prev->next 5159360019465732096
PARAM_VALUE 1 spi->controller->io_mutex.osq.tail.counter 0-s32max
PARAM_VALUE 1 spi->controller->io_mutex.wait_lock.dep_map->name 0-255
PARAM_VALUE 1 spi->controller->io_mutex.wait_lock.owner (-1)
PARAM_VALUE 1 spi->controller->io_mutex.wait_lock.owner_cpu u32max
PARAM_VALUE 1 spi->controller->setup 1-u64max
PARAM_VALUE 1 spi->controller_state 4096-ptr_max
PARAM_VALUE 1 spi->dev.dma_io_tlb_mem->can_grow 0-1
PARAM_VALUE 1 spi->dev.dma_io_tlb_mem->debugfs 0-s64max
PARAM_VALUE 1 spi->dev.dma_io_tlb_mem->for_alloc 0-1
PARAM_VALUE 1 spi->dev.dma_io_tlb_mem->force_bounce 0-1
PARAM_VALUE 1 spi->dev.dma_io_tlb_mem->nslabs 0-s64max
PARAM_VALUE 1 spi->dev.dma_io_tlb_mem->phys_limit 0-s64max
PARAM_VALUE 1 *spi->chip_select 0-255
PARAM_VALUE 3 target 4096-ptr_max
BUF_SIZE 0 ctlr (-1),64,176,208,272,360,504,696,976,1656,1728,1776,2360,2864-5728
BUF_SIZE 0 ctlr (-1),64,176,208,272,360,504,696,976,1656,1728,1776,2360,2864-5728
BUF_SIZE 1 spi->controller (-1),64,176,208,272,360,504,696,976,1656,1728,1776,2360,2864-5728
BUF_SIZE 1 spi->controller_data s32min-(-1),1-s32max
BUF_SIZE 1 spi->dev.init_name (-1),50
BUF_SIZE 1 spi->dev.platform_data (-1),32
BUF_SIZE 2 bs s32min-(-2),1-s32max
BUF_SIZE 2 bs s32min-(-2),1-s32max
BUF_SIZE 3 target 128
CAPPED_DATA 0 ctlr->max_speed_hz 1
CAPPED_DATA 1 spi->controller->max_speed_hz 1
CAPPED_DATA 1 spi->max_speed_hz 1
DATA_SOURCE 1 spi $0
DATA_SOURCE 3 target r _kzalloc_noprof
FUZZY_MAX 1 spi->bits_per_word 8
STR_LEN 0 ctlr (-1),56
STR_LEN 1 spi (-1),56
STR_LEN 1 spi->dev.init_name (-1),49
NOSPEC 1 spi->max_speed_hz
RX_PATH
TASK_NOT_RUNNING
HOST_DATA 0 ctlr->num_chipselect 1-32[c]
HOST_DATA 0 ctlr->num_data_lanes 0-u16max[c]
HOST_DATA 1 spi->controller->num_chipselect 1-32[c]
HOST_DATA 1 spi->controller->num_data_lanes 0-u16max[c]
USER_DATA 1 spi->bits_per_word 1-255
USER_DATA 1 spi->max_speed_hz 1-u32max[c]
USER_DATA 1 spi->mode 0-524287[c]
NO_OVERFLOW_SIMPLE 0 ctlr->num_chipselect
NO_OVERFLOW_SIMPLE 1 spi->controller->kworker->task->dl.pi_se->dl_runtime
NO_OVERFLOW_SIMPLE 1 spi->controller->num_chipselect
UNITS 2 bs unit_byte
UNITS 3 target unit_byte
LOCK2 1 &spi->controller->io_mutex
HALF_LOCKED2 1 &spi->controller->bus_lock_mutex
TYPE_LOCK (struct spi_controller)->io_mutex