Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
drivers/media/common/b2c2/flexcop-hw-filter.c flexcop_pid_feed_control() -> flexcop_toggle_fullts_streaming()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | fc | 4096-ptr_max |
| PARAM_VALUE | 0 | fc->feedcount | 0-1 |
| PARAM_VALUE | 0 | fc->pid_filtering | 0 |
| PARAM_VALUE | 1 | onoff | 0-1 |
| BUF_SIZE | 0 | fc | (-1),2704,2992,4248,6624,50000,60000 |
| BUF_SIZE | 0 | fc | (-1),2704,2992,4248,6624,50000,60000 |
| CAPPED_DATA | 0 | fc->feedcount | 1 |
| CAPPED_DATA | 1 | onoff | 1 |
| DATA_SOURCE | 0 | fc | $0 |
| DATA_SOURCE | 1 | onoff | $2 |
| FUZZY_MAX | 0 | fc->feedcount | 1 |
| PARAM_COMPARE | 0 | fc->feedcount | == $1 |
| PARAM_COMPARE | 1 | onoff | == $0->feedcount |
| HARD_MAX | 1 | onoff | 1 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| HALF_LOCKED2 | irq | ||
| HALF_LOCKED2 | 0 | &fc->demux.lock |
drivers/media/common/b2c2/flexcop-hw-filter.c flexcop_pid_feed_control() -> flexcop_toggle_fullts_streaming()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | fc | 4096-ptr_max |
| PARAM_VALUE | 0 | fc->extra_feedcount | 1-s32max |
| PARAM_VALUE | 0 | fc->pid_filtering | s32min-(-1),1-s32max |
| PARAM_VALUE | 1 | onoff | 1 |
| BUF_SIZE | 0 | fc | (-1),2704,2992,4248,6624,50000,60000 |
| BUF_SIZE | 0 | fc | (-1),2704,2992,4248,6624,50000,60000 |
| DATA_SOURCE | 0 | fc | $0 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| HALF_LOCKED2 | irq | ||
| HALF_LOCKED2 | 0 | &fc->demux.lock |
drivers/media/common/b2c2/flexcop-hw-filter.c flexcop_pid_feed_control() -> flexcop_toggle_fullts_streaming()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | fc | 4096-ptr_max |
| PARAM_VALUE | 0 | fc->extra_feedcount | s32min-0 |
| PARAM_VALUE | 0 | fc->pid_filtering | s32min-(-1),1-s32max |
| PARAM_VALUE | 1 | onoff | 0-1 |
| BUF_SIZE | 0 | fc | (-1),2704,2992,4248,6624,50000,60000 |
| BUF_SIZE | 0 | fc | (-1),2704,2992,4248,6624,50000,60000 |
| CAPPED_DATA | 1 | onoff | 1 |
| DATA_SOURCE | 0 | fc | $0 |
| DATA_SOURCE | 1 | onoff | $2 |
| HARD_MAX | 1 | onoff | 1 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| HALF_LOCKED2 | irq | ||
| HALF_LOCKED2 | 0 | &fc->demux.lock |
drivers/media/common/b2c2/flexcop-hw-filter.c flexcop_pid_feed_control() -> flexcop_toggle_fullts_streaming()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | fc | 4096-ptr_max |
| PARAM_VALUE | 0 | fc->extra_feedcount | s32min-0 |
| PARAM_VALUE | 0 | fc->pid_filtering | s32min-(-1),1-s32max |
| PARAM_VALUE | 1 | onoff | 0 |
| BUF_SIZE | 0 | fc | (-1),2704,2992,4248,6624,50000,60000 |
| BUF_SIZE | 0 | fc | (-1),2704,2992,4248,6624,50000,60000 |
| DATA_SOURCE | 0 | fc | $0 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| HALF_LOCKED2 | irq | ||
| HALF_LOCKED2 | 0 | &fc->demux.lock |