Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/media/i2c/tc358743.c i2c_wrreg() -> i2c_wr()

Type Parameter Key Value
PARAM_VALUE 0 sd->devnode->dev.kobj.parent->sd->attr.open->nr_mmapped 0-4294967295
PARAM_VALUE 0 sd->devnode->dev.kobj.sd->attr.open->nr_mmapped 0-4294967295
PARAM_VALUE 0 sd->devnode->dev.power.wakeirq->status 0-4294967295
PARAM_VALUE 0 sd->ops->core->interrupt_service_routine 0,1106855618475794432,5142714352862240768,7525576148411805696,8499434500154961920,8558134477184331776,9216748672576409600
PARAM_VALUE 0 sd->ops->pad->set_edid 0,1190118909308989440,2627360404671320064,3535628685378744320,4588151002792300544,6701166172997963776,9178176141394767872
PARAM_VALUE 2 values 6885450421022191616
PARAM_VALUE 3 n 1-2,4
BUF_SIZE 0 sd s32min-(-1),1-s32max
BUF_SIZE 0 sd s32min-(-1),1-s32max
BUF_SIZE 0 sd->ctrl_handler (-1),328
BUF_SIZE 0 sd->dev (-1),1616
BUF_SIZE 2 values 4
CAPPED_DATA 1 reg 1
DATA_SOURCE 0 sd $0
DATA_SOURCE 1 reg $1
DATA_SOURCE 3 n $3
STR_LEN 0 sd (-1),15-17,26-27,31-44
STR_LEN 0 sd (-1),15-17,26-27,31-44
STR_LEN 0 sd->entity.name (-1),7
STR_LEN 0 sd->name (-1),51
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
NO_OVERFLOW_SIMPLE 0 sd->ctrl_handler->nr_of_buckets
NO_OVERFLOW_SIMPLE 0 sd->entity.num_pads

drivers/media/i2c/tc358743.c tc358743_s_edid() -> i2c_wr()

Type Parameter Key Value
PARAM_VALUE 0 sd 4096-ptr_max
PARAM_VALUE 0 sd->ops 4096-ptr_max
PARAM_VALUE 0 sd->ops->pad 4096-ptr_max
PARAM_VALUE 0 sd->ops->pad->set_edid 1190118909308989440,2627360404671320064,3535628685378744320,4588151002792300544,6701166172997963776,9178176141394767872
PARAM_VALUE 1 reg 35840,35968-36863
PARAM_VALUE 3 n 128
BUF_SIZE 0 sd s32min-(-1),1-s32max
BUF_SIZE 0 sd s32min-(-1),1-s32max
CAPPED_DATA 1 reg 1
DATA_SOURCE 0 sd $0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL