Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/i2c/busses/i2c-qcom-geni.c geni_i2c_tx_one_msg() -> geni_i2c_tx_msg_cleanup()

Type Parameter Key Value
PARAM_VALUE 0 gi2c 4096-ptr_max
PARAM_VALUE 0 gi2c->cur 0,4096-ptr_max
PARAM_VALUE 0 gi2c->dev_data 4096-ptr_max
PARAM_VALUE 0 gi2c->dma_addr 0-18446744073709551614
PARAM_VALUE 0 gi2c->done.done 0-4294967293,u32max
PARAM_VALUE 0 gi2c->done.wait.lock.dep_map->name 0-255
PARAM_VALUE 0 gi2c->done.wait.lock.owner (-1)
PARAM_VALUE 0 gi2c->done.wait.lock.owner_cpu u32max
PARAM_VALUE 0 gi2c->done.wait.task_list.prev->next 4096-ptr_max
PARAM_VALUE 0 gi2c->done.wait.task_list.prev->next->next 4096-ptr_max
PARAM_VALUE 0 gi2c->gpi_mode 0
PARAM_VALUE 0 gi2c->se.dev 4096-ptr_max
PARAM_VALUE 0 gi2c->se.dev->bus 0,4096-ptr_max
PARAM_VALUE 0 gi2c->se.dev->class 0,4096-ptr_max
PARAM_VALUE 0 gi2c->se.dev->power.request 0-4
PARAM_VALUE 0 gi2c->se.dev->power.runtime_error s32min-(-17),(-15)-(-14),(-12),(-10)-s32max
PARAM_VALUE 0 gi2c->se.dev->power.wakeirq 0,4096-ptr_max
PARAM_VALUE 0 gi2c->se.dev->power.wakeirq->status 0-4294967295
PARAM_VALUE 0 gi2c->se.dev->type 0,4096-ptr_max
PARAM_VALUE 0 gi2c->xfer_len 0-u16max
PARAM_VALUE 0 *gi2c->dma_buf 0-255
PARAM_VALUE 1 cur 4096-ptr_max
BUF_SIZE 0 gi2c s32min-(-2),1-s32max
BUF_SIZE 0 gi2c s32min-(-2),1-s32max
BUF_SIZE 0 gi2c->dma_buf s32min-s32max
DATA_SOURCE 0 gi2c $0
NOCHECK_CALL
UNITS 0 gi2c unit_byte