Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/spi/spi-atmel.c cs_activate() -> atmel_spi_send_dummy()

Type Parameter Key Value
PARAM_VALUE 0 as 4096-ptr_max
PARAM_VALUE 0 as->caps.is_spi2 1
PARAM_VALUE 1 spi 4096-ptr_max
PARAM_VALUE 1 spi->controller 4096-ptr_max
PARAM_VALUE 1 spi->controller->dev.parent->power.wakeirq->status 0-4294967295
PARAM_VALUE 1 spi->controller->last_cs 4096-ptr_max
PARAM_VALUE 1 spi->controller->set_cs 1-u64max
PARAM_VALUE 1 spi->controller_state 4096-ptr_max
PARAM_VALUE 1 spi->dev.dma_mem->pfn_base 0-s64max
PARAM_VALUE 1 *spi->chip_select 0-255
PARAM_VALUE 2 chip_select 0-255
BUF_SIZE 0 as s32min-(-2),1-s32max
BUF_SIZE 0 as s32min-(-2),1-s32max
BUF_SIZE 1 spi->controller (-1),3-6,8,12,16,24,32,48,56,64,80,88,112,120,136,176,208,272,360,504,696,976,1616,1656,1688,1728,1776,1888,1904,1984-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
CAPPED_DATA 1 spi->num_chipselect 1
DATA_SOURCE 0 as $0
DATA_SOURCE 1 spi $1
STR_LEN 0 as (-1),56
STR_LEN 0 as (-1),56
STR_LEN 1 spi (-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
NOCHECK_CALL
USER_DATA 1 spi->bits_per_word 1-255
USER_DATA 1 spi->controller->last_cs_mode_high 0-1[c]
USER_DATA 1 spi->max_speed_hz 1-u32max[c]
USER_DATA 1 spi->mode 0-524287[c]
NO_OVERFLOW_SIMPLE 1 spi->controller->kworker->task->dl.pi_se->dl_runtime
NO_OVERFLOW_SIMPLE 1 spi->controller->num_chipselect
UNITS 0 as unit_byte
HALF_LOCKED2 &ctlr->io_mutex
HALF_LOCKED2 1 &spi->controller->bus_lock_mutex
HALF_LOCKED2 1 &spi->controller->io_mutex
TYPE_LOCK (struct spi_controller)->io_mutex