Defined in 2 files as a function:
- drivers/media/platform/mediatek/vcodec/decoder/mtk_vcodec_dec_stateful.c, line 196 (as a function)
- drivers/media/platform/mediatek/vcodec/decoder/mtk_vcodec_dec_stateless.c, line 426 (as a function)
Referenced in 2 files:
- drivers/media/platform/mediatek/vcodec/decoder/mtk_vcodec_dec_stateful.c
- drivers/media/platform/mediatek/vcodec/decoder/mtk_vcodec_dec_stateless.c
Smatch caller information:
drivers/media/platform/mediatek/vcodec/decoder/mtk_vcodec_dec_stateful.c mtk_vdec_worker() -> mtk_vdec_flush_decoder()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | ctx | 4096-ptr_max |
| PARAM_VALUE | 0 | ctx->dev->curr_ctx->dev | 4096-ptr_max |
| PARAM_VALUE | 0 | ctx->dev->dec_racing_info_mutex.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | ctx->dev->dec_racing_info_mutex.first_waiter->list.prev->next | 5159360019465732096 |
| PARAM_VALUE | 0 | ctx->dev->dec_racing_info_mutex.first_waiter->list.prev->prev | 5159360019465732096 |
| PARAM_VALUE | 0 | ctx->dev->dec_racing_info_mutex.first_waiter->task->blocked_lock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | ctx->dev->dec_racing_info_mutex.first_waiter->task->blocked_lock.owner | (-1) |
| PARAM_VALUE | 0 | ctx->dev->dec_racing_info_mutex.first_waiter->task->blocked_lock.owner_cpu | 4294967295 |
| PARAM_VALUE | 0 | ctx->dev->dec_racing_info_mutex.first_waiter->task->blocked_on | 0 |
| PARAM_VALUE | 0 | ctx->dev->dec_racing_info_mutex.first_waiter->task->usage.refs.counter | s32min-s32max |
| PARAM_VALUE | 0 | ctx->dev->irqlock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | ctx->drv_handle | 1-u64max |
| PARAM_VALUE | 0 | ctx->drv_handle->ctx->picinfo.buf_h | 0,64-4294967295 |
| PARAM_VALUE | 0 | ctx->drv_handle->ctx->picinfo.buf_w | 0,64-4294967295 |
| PARAM_VALUE | 0 | ctx->drv_handle->vpu.ctx->dev->fw_handler->scp->send_lock.osq.tail.counter | 0-s32max |
| PARAM_VALUE | 0 | ctx->drv_handle->vsi_ctx.dec.cap_num_planes | 0-4294967295 |
| PARAM_VALUE | 0 | ctx->drv_handle->vsi_ctx.dec.realloc_mv_buf | 1 |
| PARAM_VALUE | 0 | ctx->drv_handle->vsi_ctx.dec.resolution_changed | 1 |
| PARAM_VALUE | 0 | ctx->lock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | ctx->lock.first_waiter->list.prev->next | 5159360019465732096 |
| PARAM_VALUE | 0 | ctx->lock.first_waiter->task->blocked_lock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | ctx->lock.first_waiter->task->blocked_lock.owner | (-1) |
| PARAM_VALUE | 0 | ctx->lock.first_waiter->task->blocked_lock.owner_cpu | 4294967295 |
| PARAM_VALUE | 0 | ctx->lock.first_waiter->task->blocked_lock.raw_lock.val.counter | s32min-s32max |
| PARAM_VALUE | 0 | ctx->lock.first_waiter->task->usage.refs.counter | s32min-s32max |
| PARAM_VALUE | 0 | ctx->lock.wait_lock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | ctx->m2m_ctx | 4096-ptr_max |
| PARAM_VALUE | 0 | ctx->m2m_ctx->cap_q_ctx.rdy_spinlock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | ctx->m2m_ctx->out_q_ctx.rdy_spinlock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | ctx->picinfo.fb_sz | 4096-ptr_max |
| PARAM_VALUE | 0 | *ctx->dev->vdec_racing_info | 0-4294967295 |
| CAPPED_DATA | 0 | &ctx->lock | 1 |
| PARAM_COMPARE | 0 | &ctx->m2m_ctx->cap_q_ctx.rdy_queue | != $0->m2m_ctx->cap_q_ctx.rdy_queue.next |
| PARAM_COMPARE | 0 | &ctx->m2m_ctx->out_q_ctx.rdy_queue | != $0->m2m_ctx->out_q_ctx.rdy_queue.next |
| NOCHECK_CALL | |||
| HALF_LOCKED2 | &pool->lock |
drivers/media/platform/mediatek/vcodec/decoder/mtk_vcodec_dec.c vb2ops_vdec_stop_streaming() -> (struct mtk_vcodec_dec_pdata)->flush_decoder()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | ctx | 4096-ptr_max |
| PARAM_VALUE | 0 | ctx->dev | 4096-ptr_max |
| PARAM_VALUE | 0 | ctx->dev->vdec_pdata | 4096-ptr_max |
| PARAM_VALUE | 0 | ctx->state | 2-u32max |
| BUF_SIZE | 0 | ctx | (-1),360,392,488,768,776,784,816,856,872,880,920,928,976,1000,1016,1088,1120,1128,1144,1152,1184,1248,1288,1312,1328,1344,1352,1368,1392,1552,2416,2728,2888,3040,3256,4104,4824,7552,7944,8768,116088 |
| BUF_SIZE | 0 | ctx | (-1),360,392,488,768,776,784,816,856,872,880,920,928,976,1000,1016,1088,1120,1128,1144,1152,1184,1248,1288,1312,1328,1344,1352,1368,1392,1552,2416,2728,2888,3040,3256,4104,4824,7552,7944,8768,116088 |
| FUZZY_MAX | 0 | ctx->state | 2 |
| STR_LEN | 0 | ctx | (-1),5-9,12 |
| STR_LEN | 0 | ctx | (-1),5-9,12 |
| CONTAINER | 0 | -24-1344-8+0 | $(-1) |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| HALF_LOCKED2 | &dmxdev->mutex | ||
| HALF_LOCKED2 | &q->mmap_lock |