Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/media/platform/amphion/vdec.c vdec_release_curr_frame_store() -> vdec_recycle_buffer()

Type Parameter Key Value
PARAM_VALUE 0 inst 4096-ptr_max
PARAM_VALUE 0 inst->cmd_q.prev 4096-ptr_max
PARAM_VALUE 0 inst->cmd_q.prev->next 4096-ptr_max
PARAM_VALUE 0 inst->cmd_q.prev->next->next 4096-ptr_max
PARAM_VALUE 0 inst->core->cmd_lock.dep_map->name 0-255
PARAM_VALUE 0 inst->core->cmd_lock.first_waiter 0,4096-ptr_max
PARAM_VALUE 0 inst->core->cmd_lock.first_waiter->list.prev->next 5159360019465732096
PARAM_VALUE 0 inst->core->cmd_lock.first_waiter->list.prev->prev 5159360019465732096
PARAM_VALUE 0 inst->core->cmd_lock.first_waiter->task->blocked_lock.dep_map->name 0-255
PARAM_VALUE 0 inst->core->cmd_lock.first_waiter->task->blocked_lock.owner (-1)
PARAM_VALUE 0 inst->core->cmd_lock.first_waiter->task->blocked_lock.owner_cpu 4294967295
PARAM_VALUE 0 inst->core->cmd_lock.first_waiter->task->blocked_lock.raw_lock.val.counter s32min-s32max
PARAM_VALUE 0 inst->core->cmd_lock.first_waiter->task->usage.refs.counter s32min-s32max
PARAM_VALUE 0 inst->core->cmd_lock.osq.tail.counter 0-s32max
PARAM_VALUE 0 inst->core->dev->power.wakeirq->status 0-4294967295
PARAM_VALUE 0 inst->core->iface->cmd_desc->wptr 0-4294967295
PARAM_VALUE 0 inst->core->tx_type.ch->con_priv->pdev->dev.iommu->attach_deferred 0-1
PARAM_VALUE 0 inst->core->tx_type.ch->con_priv->pdev->dev.iommu->pci_32bit_workaround 0-1
PARAM_VALUE 0 inst->core->tx_type.ch->con_priv->response->resp_size 0-1,32-33
PARAM_VALUE 0 inst->core->tx_type.ch->con_priv->response->resp_status 0-u16max
PARAM_VALUE 0 inst->core->tx_type.ch->mbox->poll_hrt.base->index 0-7
PARAM_VALUE 0 inst->core->tx_type.ch->mbox->poll_hrt.flags 0-4294967295
PARAM_VALUE 0 inst->core->tx_type.ch->mbox->poll_hrt.is_queued 1
PARAM_VALUE 0 inst->core->tx_type.ch->mbox->poll_hrt.node.expires 0-s64max
PARAM_VALUE 0 inst->core->vpu->debugfs->d_inode->i_rwsem.first_waiter->handoff_set 0-1
PARAM_VALUE 0 inst->core->vpu->debugfs->d_inode->i_rwsem.first_waiter->type 0-1
PARAM_VALUE 0 inst->ops 4096-ptr_max
PARAM_VALUE 0 inst->ops->event_notify 2905576554795573248,7158010066138472448
PARAM_VALUE 0 inst->ops->release 3119191099740717056,7159263913553412096
PARAM_VALUE 0 inst->ops->start 3830545228717694976,7505058326117138432
PARAM_VALUE 0 inst->ops->stop 4664844317685211136,7937231471050149888
PARAM_VALUE 0 inst->priv 4096-ptr_max
PARAM_VALUE 0 *inst->flows 0-4294967295
PARAM_VALUE 1 vbuf 1-u64max
BUF_SIZE 0 inst s32min-(-1),1-s32max
BUF_SIZE 0 inst s32min-(-1),1-s32max
BUF_SIZE 1 vbuf 1168
DATA_SOURCE 0 inst $0
STR_LEN 0 inst (-1),5-9,12
STR_LEN 0 inst (-1),5-9,12
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &pool->lock
HALF_LOCKED2 0 &inst->lock