Defined in 2 files as a function:
- drivers/media/pci/ttpci/budget-core.c, line 48 (as a function)
- drivers/staging/media/av7110/av7110.c, line 1154 (as a function)
Referenced in 2 files:
Smatch caller information:
drivers/media/pci/ttpci/budget-core.c budget_read_fe_status() -> stop_ts_capture()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | budget | 4096-ptr_max |
| PARAM_VALUE | 0 | budget->fe_synced | 0 |
| PARAM_VALUE | 0 | budget->feedlock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | budget->read_fe_status | 1-u64max |
| BUF_SIZE | 0 | budget | 2568,2704,3336,3664,6112,6160,6240,6520,16680,23200,50000,60000 |
| BUF_SIZE | 0 | budget | 2568,2704,3336,3664,6112,6160,6240,6520,16680,23200,50000,60000 |
| PREEMPT_ADD | <- disables preempt | ||
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| LOCK2 | 0 | &budget->feedlock | |
| HALF_LOCKED2 | &fepriv->sem | ||
| HALF_LOCKED2 | &state->fe_mutex | ||
| TYPE_LOCK | (struct budget)->feedlock |
drivers/media/pci/ttpci/budget-core.c budget_stop_feed() -> stop_ts_capture()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | budget | 4096-ptr_max |
| PARAM_VALUE | 0 | budget->feeding | 0 |
| PARAM_VALUE | 0 | budget->feedlock.rlock.dep_map->name | 0-255 |
| BUF_SIZE | 0 | budget | 2704,2992,3336,3480,3664,4248,5480,6240,6624,16680,23200,50000,60000 |
| BUF_SIZE | 0 | budget | 2704,2992,3336,3480,3664,4248,5480,6240,6624,16680,23200,50000,60000 |
| PREEMPT_ADD | <- disables preempt | ||
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| LOCK2 | 0 | &budget->feedlock | |
| HALF_LOCKED2 | &demux->mutex | ||
| HALF_LOCKED2 | &dvbdmx->mutex | ||
| TYPE_LOCK | (struct budget)->feedlock |
drivers/media/pci/ttpci/budget-core.c ttpci_budget_set_video_port() -> stop_ts_capture()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | budget | 4096-ptr_max |
| PARAM_VALUE | 0 | budget->feeding | s32min-(-1),1-s32max |
| PARAM_VALUE | 0 | budget->feedlock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | budget->video_port | 0-1 |
| BUF_SIZE | 0 | budget | 4448,4456,6112,6520,6640,8416,23200 |
| BUF_SIZE | 0 | budget | 4448,4456,6112,6520,6640,8416,23200 |
| PREEMPT_ADD | <- disables preempt | ||
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| LOCK2 | 0 | &budget->feedlock | |
| HALF_LOCKED2 | &sl->slot_lock | ||
| TYPE_LOCK | (struct budget)->feedlock |
drivers/staging/media/av7110/av7110.c budget_stop_feed() -> stop_ts_capture()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | budget | 4096-ptr_max |
| PARAM_VALUE | 0 | budget->feedlock1.rlock.dep_map->name | 0-255 |
| BUF_SIZE | 0 | budget | 2704,2992,3336,3480,3664,4248,5480,6240,6624,16680,23200,50000,60000 |
| BUF_SIZE | 0 | budget | 2704,2992,3336,3480,3664,4248,5480,6240,6624,16680,23200,50000,60000 |
| PREEMPT_ADD | <- disables preempt | ||
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| LOCK2 | 0 | &budget->feedlock1 | |
| HALF_LOCKED2 | &demux->mutex | ||
| HALF_LOCKED2 | &dvbdmx->mutex | ||
| TYPE_LOCK | (struct av7110)->feedlock1 |