Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

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

Type Parameter Key Value
PARAM_VALUE 0 spi 4096-ptr_max
PARAM_VALUE 0 spi->controller 4096-ptr_max
PARAM_VALUE 0 spi->controller->target 1
PARAM_VALUE 0 spi->dev.dma_io_tlb_mem->debugfs 0-s64max
PARAM_VALUE 0 spi->num_chipselect 0-4
PARAM_VALUE 0 *spi->chip_select 0-255
BUF_SIZE 0 spi (-1),1776,1792
BUF_SIZE 0 spi (-1),1776,1792
BUF_SIZE 0 spi->controller (-1),1-s32max
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->num_chipselect 1
DATA_SOURCE 0 spi $0
STR_LEN 0 spi->dev.init_name (-1),49
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]
NO_OVERFLOW_SIMPLE 0 spi->controller->num_chipselect
HALF_LOCKED2 &ctlr->add_lock
HALF_LOCKED2 &of->mutex

drivers/spi/spi.c spi_add_device() -> spi_dev_set_name()

Type Parameter Key Value
PARAM_VALUE 0 spi 4096-ptr_max
PARAM_VALUE 0 *spi->chip_select 0-255
BUF_SIZE 0 spi (-1),1776,1792
BUF_SIZE 0 spi (-1),1776,1792
BUF_SIZE 0 spi->controller (-1),1-s32max
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
DATA_SOURCE 0 spi $0
STR_LEN 0 spi->dev.init_name (-1),49
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]
NO_OVERFLOW_SIMPLE 0 spi->controller->num_chipselect
HALF_LOCKED2 &of->mutex