Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/media/dvb-frontends/dib8000.c dib8000_i2c_enumeration() -> dib8000_i2c_write16()

Type Parameter Key Value
PARAM_VALUE 0 i2c 5430861231374299136
PARAM_VALUE 0 i2c->adap 4096-ptr_max
PARAM_VALUE 0 i2c->addr 128,130,132
PARAM_VALUE 0 i2c->i2c_buffer_lock 4096-ptr_max
PARAM_VALUE 0 i2c->i2c_read_buffer 4096-ptr_max
PARAM_VALUE 0 i2c->i2c_write_buffer 4096-ptr_max
PARAM_VALUE 1 reg 1287
PARAM_VALUE 2 val 3
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/media/dvb-frontends/dib8000.c dib8000_i2c_enumeration() -> dib8000_i2c_write16()

Type Parameter Key Value
PARAM_VALUE 0 i2c 5430861231374299136
PARAM_VALUE 0 i2c->adap 4096-ptr_max
PARAM_VALUE 0 i2c->addr 128,130,132
PARAM_VALUE 0 i2c->i2c_buffer_lock 4096-ptr_max
PARAM_VALUE 0 i2c->i2c_read_buffer 4096-ptr_max
PARAM_VALUE 0 i2c->i2c_write_buffer 4096-ptr_max
PARAM_VALUE 1 reg 1287
PARAM_VALUE 2 val 3
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/media/dvb-frontends/dib8000.c dib8000_i2c_enumeration() -> dib8000_i2c_write16()

Type Parameter Key Value
PARAM_VALUE 0 i2c 5430861231374299136
PARAM_VALUE 0 i2c->adap 4096-ptr_max
PARAM_VALUE 0 i2c->addr 16,18,34,128,130,132
PARAM_VALUE 0 i2c->i2c_buffer_lock 4096-ptr_max
PARAM_VALUE 0 i2c->i2c_read_buffer 4096-ptr_max
PARAM_VALUE 0 i2c->i2c_write_buffer 4096-ptr_max
PARAM_VALUE 1 reg 1286
PARAM_VALUE 2 val 1280
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/media/dvb-frontends/dib8000.c dib8000_i2c_enumeration() -> dib8000_i2c_write16()

Type Parameter Key Value
PARAM_VALUE 0 i2c 5430861231374299136
PARAM_VALUE 0 i2c->adap 4096-ptr_max
PARAM_VALUE 0 i2c->addr 16,18,34,128,130,132
PARAM_VALUE 0 i2c->i2c_buffer_lock 4096-ptr_max
PARAM_VALUE 0 i2c->i2c_read_buffer 4096-ptr_max
PARAM_VALUE 0 i2c->i2c_write_buffer 4096-ptr_max
PARAM_VALUE 1 reg 1285
PARAM_VALUE 2 val 514,522,530
BIT_INFO 2 val 0x2,0xfe
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/media/dvb-frontends/dib8000.c dib8000_i2c_enumeration() -> dib8000_i2c_write16()

Type Parameter Key Value
PARAM_VALUE 0 i2c 5430861231374299136
PARAM_VALUE 0 i2c->adap 4096-ptr_max
PARAM_VALUE 0 i2c->addr 128,130
PARAM_VALUE 0 i2c->i2c_buffer_lock 4096-ptr_max
PARAM_VALUE 0 i2c->i2c_read_buffer 4096-ptr_max
PARAM_VALUE 0 i2c->i2c_write_buffer 4096-ptr_max
PARAM_VALUE 1 reg 1285
PARAM_VALUE 2 val 512,520
CAPPED_DATA 2 val 1
BIT_INFO 2 val 0x0,0xfc
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/media/dvb-frontends/dib8000.c dib8000_i2c_enumeration() -> dib8000_i2c_write16()

Type Parameter Key Value
PARAM_VALUE 0 i2c 5430861231374299136
PARAM_VALUE 0 i2c->adap 4096-ptr_max
PARAM_VALUE 0 i2c->addr 128,130
PARAM_VALUE 0 i2c->i2c_buffer_lock 4096-ptr_max
PARAM_VALUE 0 i2c->i2c_read_buffer 4096-ptr_max
PARAM_VALUE 0 i2c->i2c_write_buffer 4096-ptr_max
PARAM_VALUE 1 reg 1286
PARAM_VALUE 2 val 0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL