Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/media/dvb-frontends/dib9000.c dib9000_i2c_enumeration() -> dib9000_i2c_write16()

Type Parameter Key Value
PARAM_VALUE 0 i2c 8925485727229997056
PARAM_VALUE 0 i2c->i2c_adap 4096-ptr_max
PARAM_VALUE 0 i2c->i2c_addr 32,34,48
PARAM_VALUE 0 i2c->i2c_read_buffer 4096-ptr_max
PARAM_VALUE 0 i2c->i2c_write_buffer 4096-ptr_max
PARAM_VALUE 1 reg 1796
PARAM_VALUE 2 val 0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/media/dvb-frontends/dib9000.c dib9000_i2c_enumeration() -> dib9000_i2c_write16()

Type Parameter Key Value
PARAM_VALUE 0 i2c 8925485727229997056
PARAM_VALUE 0 i2c->i2c_adap 4096-ptr_max
PARAM_VALUE 0 i2c->i2c_addr 16,18,32
PARAM_VALUE 0 i2c->i2c_read_buffer 4096-ptr_max
PARAM_VALUE 0 i2c->i2c_write_buffer 4096-ptr_max
PARAM_VALUE 1 reg 1817
PARAM_VALUE 2 val 3
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/media/dvb-frontends/dib9000.c dib9000_i2c_enumeration() -> dib9000_i2c_write16()

Type Parameter Key Value
PARAM_VALUE 0 i2c 8925485727229997056
PARAM_VALUE 0 i2c->i2c_adap 4096-ptr_max
PARAM_VALUE 0 i2c->i2c_addr 16,18,32
PARAM_VALUE 0 i2c->i2c_read_buffer 4096-ptr_max
PARAM_VALUE 0 i2c->i2c_write_buffer 4096-ptr_max
PARAM_VALUE 1 reg 1796
PARAM_VALUE 2 val 0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/media/dvb-frontends/dib9000.c dib9000_i2c_enumeration() -> dib9000_i2c_write16()

Type Parameter Key Value
PARAM_VALUE 0 i2c 8925485727229997056
PARAM_VALUE 0 i2c->i2c_adap 4096-ptr_max
PARAM_VALUE 0 i2c->i2c_addr 16,18,32
PARAM_VALUE 0 i2c->i2c_read_buffer 4096-ptr_max
PARAM_VALUE 0 i2c->i2c_write_buffer 4096-ptr_max
PARAM_VALUE 1 reg 1227
PARAM_VALUE 2 val 1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/media/dvb-frontends/dib9000.c dib9000_i2c_enumeration() -> dib9000_i2c_write16()

Type Parameter Key Value
PARAM_VALUE 0 i2c 8925485727229997056
PARAM_VALUE 0 i2c->i2c_adap 4096-ptr_max
PARAM_VALUE 0 i2c->i2c_addr 16,18,32
PARAM_VALUE 0 i2c->i2c_read_buffer 4096-ptr_max
PARAM_VALUE 0 i2c->i2c_write_buffer 4096-ptr_max
PARAM_VALUE 1 reg 1227
PARAM_VALUE 2 val 0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/media/dvb-frontends/dib9000.c dib9000_i2c_enumeration() -> dib9000_i2c_write16()

Type Parameter Key Value
PARAM_VALUE 0 i2c 8925485727229997056
PARAM_VALUE 0 i2c->i2c_adap 4096-ptr_max
PARAM_VALUE 0 i2c->i2c_addr 128,130
PARAM_VALUE 0 i2c->i2c_read_buffer 4096-ptr_max
PARAM_VALUE 0 i2c->i2c_write_buffer 4096-ptr_max
PARAM_VALUE 1 reg 1817
PARAM_VALUE 2 val 3
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/media/dvb-frontends/dib9000.c dib9000_i2c_enumeration() -> dib9000_i2c_write16()

Type Parameter Key Value
PARAM_VALUE 0 i2c 8925485727229997056
PARAM_VALUE 0 i2c->i2c_adap 4096-ptr_max
PARAM_VALUE 0 i2c->i2c_addr 128,130
PARAM_VALUE 0 i2c->i2c_read_buffer 4096-ptr_max
PARAM_VALUE 0 i2c->i2c_write_buffer 4096-ptr_max
PARAM_VALUE 1 reg 1796
PARAM_VALUE 2 val 0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/media/dvb-frontends/dib9000.c dib9000_i2c_enumeration() -> dib9000_i2c_write16()

Type Parameter Key Value
PARAM_VALUE 0 i2c 8925485727229997056
PARAM_VALUE 0 i2c->i2c_adap 4096-ptr_max
PARAM_VALUE 0 i2c->i2c_addr 128,130
PARAM_VALUE 0 i2c->i2c_read_buffer 4096-ptr_max
PARAM_VALUE 0 i2c->i2c_write_buffer 4096-ptr_max
PARAM_VALUE 1 reg 1227
PARAM_VALUE 2 val 1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/media/dvb-frontends/dib9000.c dib9000_i2c_enumeration() -> dib9000_i2c_write16()

Type Parameter Key Value
PARAM_VALUE 0 i2c 8925485727229997056
PARAM_VALUE 0 i2c->i2c_adap 4096-ptr_max
PARAM_VALUE 0 i2c->i2c_addr 128,130
PARAM_VALUE 0 i2c->i2c_read_buffer 4096-ptr_max
PARAM_VALUE 0 i2c->i2c_write_buffer 4096-ptr_max
PARAM_VALUE 1 reg 1227
PARAM_VALUE 2 val 0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/media/dvb-frontends/dib9000.c dib9000_i2c_enumeration() -> dib9000_i2c_write16()

Type Parameter Key Value
PARAM_VALUE 0 i2c 8925485727229997056
PARAM_VALUE 0 i2c->i2c_adap 4096-ptr_max
PARAM_VALUE 0 i2c->i2c_addr 16,18,32,128,130
PARAM_VALUE 0 i2c->i2c_read_buffer 4096-ptr_max
PARAM_VALUE 0 i2c->i2c_write_buffer 4096-ptr_max
PARAM_VALUE 1 reg 1795
PARAM_VALUE 2 val 1280
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/media/dvb-frontends/dib9000.c dib9000_i2c_enumeration() -> dib9000_i2c_write16()

Type Parameter Key Value
PARAM_VALUE 0 i2c 8925485727229997056
PARAM_VALUE 0 i2c->i2c_adap 4096-ptr_max
PARAM_VALUE 0 i2c->i2c_addr 16,18,32,128,130
PARAM_VALUE 0 i2c->i2c_read_buffer 4096-ptr_max
PARAM_VALUE 0 i2c->i2c_write_buffer 4096-ptr_max
PARAM_VALUE 1 reg 1794
PARAM_VALUE 2 val 514,522
BIT_INFO 2 val 0x2,0xfe
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/media/dvb-frontends/dib9000.c dib9000_i2c_enumeration() -> dib9000_i2c_write16()

Type Parameter Key Value
PARAM_VALUE 0 i2c 8925485727229997056
PARAM_VALUE 0 i2c->i2c_adap 4096-ptr_max
PARAM_VALUE 0 i2c->i2c_addr 128,130
PARAM_VALUE 0 i2c->i2c_read_buffer 4096-ptr_max
PARAM_VALUE 0 i2c->i2c_write_buffer 4096-ptr_max
PARAM_VALUE 1 reg 1794
PARAM_VALUE 2 val 512,520
BIT_INFO 2 val 0x0,0xfc
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/media/dvb-frontends/dib9000.c dib9000_i2c_enumeration() -> dib9000_i2c_write16()

Type Parameter Key Value
PARAM_VALUE 0 i2c 8925485727229997056
PARAM_VALUE 0 i2c->i2c_adap 4096-ptr_max
PARAM_VALUE 0 i2c->i2c_addr 128,130
PARAM_VALUE 0 i2c->i2c_read_buffer 4096-ptr_max
PARAM_VALUE 0 i2c->i2c_write_buffer 4096-ptr_max
PARAM_VALUE 1 reg 1795
PARAM_VALUE 2 val 0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL