Open Menu /

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/spi/spi.c __spi_add_device() -> spi_dev_check_cs()

Type Parameter Key Value
PARAM_VALUE 1 spi 4096-ptr_max
PARAM_VALUE 1 spi->controller 4096-ptr_max
PARAM_VALUE 1 spi->dev.dma_io_tlb_mem->debugfs 0-s64max
PARAM_VALUE 1 spi->num_chipselect 1-4
PARAM_VALUE 1 *spi->chip_select 0-255
PARAM_VALUE 2 idx 0-3
PARAM_VALUE 3 new_spi 4096-ptr_max
PARAM_VALUE 3 new_spi->controller 4096-ptr_max
PARAM_VALUE 3 new_spi->dev.dma_io_tlb_mem->debugfs 0-s64max
PARAM_VALUE 3 new_spi->num_chipselect 1-4
PARAM_VALUE 3 *new_spi->chip_select 0-255
PARAM_VALUE 4 new_idx 1-4
BUF_SIZE 1 spi (-1),1776,1792
BUF_SIZE 1 spi (-1),1776,1792
BUF_SIZE 1 spi->controller (-1),1-s32max
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 3 new_spi (-1),1776,1792
BUF_SIZE 3 new_spi (-1),1776,1792
BUF_SIZE 3 new_spi->controller (-1),1-s32max
BUF_SIZE 3 new_spi->controller_data s32min-(-1),1-s32max
BUF_SIZE 3 new_spi->dev.init_name (-1),50
BUF_SIZE 3 new_spi->dev.platform_data (-1),32
CAPPED_DATA 1 spi->num_chipselect 1
CAPPED_DATA 2 idx 1
CAPPED_DATA 3 new_spi->num_chipselect 1
CAPPED_DATA 4 new_idx 1
DATA_SOURCE 1 spi $0
DATA_SOURCE 3 new_spi $0
STR_LEN 1 spi->dev.init_name (-1),49
STR_LEN 3 new_spi->dev.init_name (-1),49
PARAM_COMPARE 2 idx < $1->num_chipselect
RX_PATH
TASK_NOT_RUNNING
HOST_DATA 1 spi->controller->num_chipselect 1-32[c]
HOST_DATA 1 spi->controller->num_data_lanes 0-u16max[c]
HOST_DATA 3 new_spi->controller->num_chipselect 1-32[c]
HOST_DATA 3 new_spi->controller->num_data_lanes 0-u16max[c]
NO_OVERFLOW_SIMPLE 1 spi->controller->num_chipselect
NO_OVERFLOW_SIMPLE 3 new_spi->controller->num_chipselect
UNITS 0 dev unit_byte
UNITS 2 idx unit_byte
UNITS 4 new_idx unit_byte
HALF_LOCKED2 &ctlr->add_lock
HALF_LOCKED2 &of->mutex

drivers/spi/spi.c spi_dev_check() -> spi_dev_check_cs()

Type Parameter Key Value
PARAM_VALUE 0 dev 1-u64max
PARAM_VALUE 1 spi 4096-ptr_max
PARAM_VALUE 1 spi->num_chipselect 1-255
PARAM_VALUE 2 idx 0-254
PARAM_VALUE 3 new_spi 4096-ptr_max
PARAM_VALUE 4 new_idx 0
CAPPED_DATA 1 spi->controller 1
CAPPED_DATA 2 idx 1
CAPPED_DATA 3 new_spi->controller 1
DATA_SOURCE 0 dev $0
PARAM_COMPARE 2 idx < $1->num_chipselect
PARAM_COMPARE 3 new_spi->controller == $1->controller
RX_PATH
TASK_NOT_RUNNING
UNITS 2 idx unit_byte
HALF_LOCKED2 &add_mutex
HALF_LOCKED2 &of->mutex
HALF_LOCKED2 &pool->lock
HALF_LOCKED2 &seq->lock
HALF_LOCKED2 &skt->skt_mutex
HALF_LOCKED2 &tb->lock
HALF_LOCKED2 _T->lock
HALF_LOCKED2 global &core_lock
HALF_LOCKED2 global &pi_mutex
HALF_LOCKED2 global &pwrseq_sem
HALF_LOCKED2 global &registration_lock
HALF_LOCKED2 global &vdpa_dev_lock
HALF_LOCKED2 global &xenwatch_mutex