Open Menu /

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/platform/x86/serial-multi-instantiate.c smi_i2c_probe() -> smi_devs_unregister()

Type Parameter Key Value
PARAM_VALUE 0 smi 4096-ptr_max
PARAM_VALUE 0 smi->i2c_devs 1-u64max
PARAM_VALUE 0 smi->i2c_num 0-s32max
BUF_SIZE 0 smi 24
BUF_SIZE 0 smi->i2c_devs 0-u64max
CAPPED_DATA 0 smi->i2c_num 1
DATA_SOURCE 0 smi $1
FUZZY_MAX 0 smi->i2c_num 0
MEM_ZERO 0 smi
MEM_ZERO 0 smi->i2c_devs
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
NO_OVERFLOW_SIMPLE 0 smi->i2c_num

drivers/platform/x86/serial-multi-instantiate.c smi_remove() -> smi_devs_unregister()

Type Parameter Key Value
BUF_SIZE 0 smi s32min-(-2),1-s32max
BUF_SIZE 0 smi s32min-(-2),1-s32max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 0 smi unit_byte
HALF_LOCKED2 &_dev->mutex

drivers/platform/x86/serial-multi-instantiate.c smi_spi_probe() -> smi_devs_unregister()

Type Parameter Key Value
PARAM_VALUE 0 smi 4096-ptr_max
PARAM_VALUE 0 smi->spi_devs 1-u64max
PARAM_VALUE 0 smi->spi_num 0-s32max
BUF_SIZE 0 smi 24
BUF_SIZE 0 smi->spi_devs 0-u64max
CAPPED_DATA 0 smi->spi_num 1
DATA_SOURCE 0 smi $1
FUZZY_MAX 0 smi->spi_num 0
MEM_ZERO 0 smi
MEM_ZERO 0 smi->spi_devs
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
NO_OVERFLOW_SIMPLE 0 smi->spi_num