Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
drivers/media/dvb-frontends/tda18271c2dd.c UpdateRegs() -> WriteRegs()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | state | 4096-ptr_max |
| PARAM_VALUE | 0 | state->m_Regs | 4096-ptr_max |
| PARAM_VALUE | 0 | *state->m_RF1 | 0-4294967295 |
| PARAM_VALUE | 0 | *state->m_RF2 | 0-4294967295 |
| PARAM_VALUE | 0 | *state->m_RF3 | 0-4294967295 |
| PARAM_VALUE | 0 | *state->m_RF_A1 | s32min-s32max |
| PARAM_VALUE | 0 | *state->m_RF_A2 | s32min-s32max |
| PARAM_VALUE | 0 | *state->m_RF_B1 | s32min-s32max |
| PARAM_VALUE | 0 | *state->m_RF_B2 | s32min-s32max |
| PARAM_VALUE | 1 | SubAddr | 1,3-6,8,12,36-37 |
| PARAM_VALUE | 2 | Regs | 4096-ptr_max |
| PARAM_VALUE | 3 | nRegs | 0-38,65505-u16max |
| BUF_SIZE | 0 | state | s32min,(-1),16,24,32,40,48,56,72,80,88,208,264,272,280,288,312,320,328,368,728,744,768,832,1424,2336,41320 |
| BUF_SIZE | 0 | state | s32min,(-1),16,24,32,40,48,56,72,80,88,208,264,272,280,288,312,320,328,368,728,744,768,832,1424,2336,41320 |
| DATA_SOURCE | 0 | state | $0 |
| DATA_SOURCE | 1 | SubAddr | $1 |
| HARD_MAX | 1 | SubAddr | 37 |
| RX_PATH | |||
| TASK_NOT_RUNNING |