Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
drivers/media/dvb-frontends/dib0090.c dib0090_fw_reset_digital() -> dib0090_fw_write_reg()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | state | 4096-ptr_max |
| PARAM_VALUE | 1 | reg | 36 |
| PARAM_VALUE | 2 | val | 34 |
| BUF_SIZE | 0 | state | 208 |
| NOCHECK_CALL |
drivers/media/dvb-frontends/dib0090.c dib0090_fw_reset_digital() -> dib0090_fw_write_reg()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | state | 4096-ptr_max |
| PARAM_VALUE | 0 | state->i2c_buffer_lock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | state->i2c_buffer_lock.first_waiter | 0,4096-ptr_max |
| PARAM_VALUE | 0 | state->i2c_buffer_lock.first_waiter->list.prev->next | 5159360019465732096 |
| PARAM_VALUE | 0 | state->i2c_buffer_lock.osq.tail.counter | 0-s32max |
| PARAM_VALUE | 1 | reg | 27 |
| PARAM_VALUE | 2 | val | 162 |
| BUF_SIZE | 0 | state | 208 |
| NOCHECK_CALL |
drivers/media/dvb-frontends/dib0090.c dib0090_fw_reset_digital() -> dib0090_fw_write_reg()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | state | 4096-ptr_max |
| PARAM_VALUE | 0 | state->i2c_buffer_lock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | state->i2c_buffer_lock.first_waiter | 0,4096-ptr_max |
| PARAM_VALUE | 0 | state->i2c_buffer_lock.first_waiter->list.prev->next | 5159360019465732096 |
| PARAM_VALUE | 0 | state->i2c_buffer_lock.osq.tail.counter | 0-s32max |
| PARAM_VALUE | 1 | reg | 32 |
| PARAM_VALUE | 2 | val | 15104,64256 |
| BUF_SIZE | 0 | state | 208 |
| BIT_INFO | 2 | val | 0x300,0xfffffbff |
| NOCHECK_CALL |
drivers/media/dvb-frontends/dib0090.c dib0090_fw_reset_digital() -> dib0090_fw_write_reg()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | state | 4096-ptr_max |
| PARAM_VALUE | 0 | state->i2c_buffer_lock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | state->i2c_buffer_lock.first_waiter | 0,4096-ptr_max |
| PARAM_VALUE | 0 | state->i2c_buffer_lock.first_waiter->list.prev->next | 5159360019465732096 |
| PARAM_VALUE | 0 | state->i2c_buffer_lock.osq.tail.counter | 0-s32max |
| PARAM_VALUE | 1 | reg | 35 |
| PARAM_VALUE | 2 | val | 2592,2608,2784,2800,18976,18992,19168,19184 |
| BUF_SIZE | 0 | state | 208 |
| BIT_INFO | 2 | val | 0xa20,0xae0 |
| NOCHECK_CALL |
drivers/media/dvb-frontends/dib0090.c dib0090_fw_reset_digital() -> dib0090_fw_write_reg()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | state | 4096-ptr_max |
| PARAM_VALUE | 0 | state->i2c_buffer_lock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | state->i2c_buffer_lock.first_waiter | 0,4096-ptr_max |
| PARAM_VALUE | 0 | state->i2c_buffer_lock.first_waiter->list.prev->next | 5159360019465732096 |
| PARAM_VALUE | 0 | state->i2c_buffer_lock.osq.tail.counter | 0-s32max |
| PARAM_VALUE | 1 | reg | 33 |
| BUF_SIZE | 0 | state | 208 |
| BIT_INFO | 2 | val | 0x8000,0xffff |
| NOCHECK_CALL |
drivers/media/dvb-frontends/dib0090.c dib0090_fw_reset_digital() -> dib0090_fw_write_reg()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | state | 4096-ptr_max |
| PARAM_VALUE | 0 | state->i2c_buffer_lock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | state->i2c_buffer_lock.first_waiter | 0,4096-ptr_max |
| PARAM_VALUE | 0 | state->i2c_buffer_lock.first_waiter->list.prev->next | 5159360019465732096 |
| PARAM_VALUE | 0 | state->i2c_buffer_lock.osq.tail.counter | 0-s32max |
| PARAM_VALUE | 1 | reg | 33 |
| PARAM_VALUE | 2 | val | 32768-57343 |
| BUF_SIZE | 0 | state | 208 |
| BIT_INFO | 2 | val | 0x8000,0xdfff |
| NOCHECK_CALL |
drivers/media/dvb-frontends/dib0090.c dib0090_fw_reset_digital() -> dib0090_fw_write_reg()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | state | 4096-ptr_max |
| PARAM_VALUE | 0 | state->i2c_buffer_lock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | state->i2c_buffer_lock.first_waiter | 0,4096-ptr_max |
| PARAM_VALUE | 0 | state->i2c_buffer_lock.first_waiter->list.prev->next | 5159360019465732096 |
| PARAM_VALUE | 0 | state->i2c_buffer_lock.osq.tail.counter | 0-s32max |
| PARAM_VALUE | 1 | reg | 33 |
| BUF_SIZE | 0 | state | 208 |
| BIT_INFO | 2 | val | 0x8000,0x803f |
| NOCHECK_CALL |
drivers/media/dvb-frontends/dib0090.c dib0090_fw_reset_digital() -> dib0090_fw_write_reg()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | state | 4096-ptr_max |
| PARAM_VALUE | 0 | state->i2c_buffer_lock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | state->i2c_buffer_lock.first_waiter | 0,4096-ptr_max |
| PARAM_VALUE | 0 | state->i2c_buffer_lock.first_waiter->list.prev->next | 5159360019465732096 |
| PARAM_VALUE | 0 | state->i2c_buffer_lock.osq.tail.counter | 0-s32max |
| PARAM_VALUE | 1 | reg | 33 |
| BUF_SIZE | 0 | state | 208 |
| BIT_INFO | 2 | val | 0xa000,0xa03f |
| NOCHECK_CALL |
drivers/media/dvb-frontends/dib0090.c dib0090_fw_reset_digital() -> dib0090_fw_write_reg()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | state | 4096-ptr_max |
| PARAM_VALUE | 0 | state->i2c_buffer_lock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | state->i2c_buffer_lock.first_waiter | 0,4096-ptr_max |
| PARAM_VALUE | 0 | state->i2c_buffer_lock.first_waiter->list.prev->next | 5159360019465732096 |
| PARAM_VALUE | 0 | state->i2c_buffer_lock.osq.tail.counter | 0-s32max |
| PARAM_VALUE | 1 | reg | 33 |
| PARAM_VALUE | 2 | val | 8192-8255 |
| BUF_SIZE | 0 | state | 208 |
| BIT_INFO | 2 | val | 0x2000,0x203f |
| NOCHECK_CALL |
drivers/media/dvb-frontends/dib0090.c dib0090_fw_reset_digital() -> dib0090_fw_write_reg()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | state | 4096-ptr_max |
| PARAM_VALUE | 0 | state->i2c_buffer_lock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | state->i2c_buffer_lock.first_waiter | 0,4096-ptr_max |
| PARAM_VALUE | 0 | state->i2c_buffer_lock.first_waiter->list.prev->next | 5159360019465732096 |
| PARAM_VALUE | 0 | state->i2c_buffer_lock.osq.tail.counter | 0-s32max |
| PARAM_VALUE | 1 | reg | 33 |
| BUF_SIZE | 0 | state | 208 |
| BIT_INFO | 2 | val | 0x8000,0xffff |
| NOCHECK_CALL |