Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/media/platform/amphion/vpu_msgs.c vpu_isr_thread() -> vpu_mbox_send_msg()

Type Parameter Key Value
PARAM_VALUE 0 core 4096-ptr_max
PARAM_VALUE 1 type 2
DATA_SOURCE 0 core $0
NOCHECK_CALL
UNITS 2 data unit_byte
HALF_LOCKED2 &pool->lock

drivers/media/platform/amphion/vpu_msgs.c vpu_isr_thread() -> vpu_mbox_send_msg()

Type Parameter Key Value
PARAM_VALUE 0 core 4096-ptr_max
PARAM_VALUE 0 core->tx_data.ch 0,4096-ptr_max
PARAM_VALUE 0 core->tx_data.ch->con_priv->chan_in_use 1
PARAM_VALUE 0 core->tx_data.ch->con_priv->control_scb->cache->cached_rbnode->base_reg 0-4294967295
PARAM_VALUE 0 core->tx_data.ch->con_priv->control_scb->cache->cached_rbnode->blklen 0-4294967295
PARAM_VALUE 0 core->tx_data.ch->con_priv->control_scb->cache_dirty 1
PARAM_VALUE 0 core->tx_data.ch->con_priv->dir 1
PARAM_VALUE 0 core->tx_data.ch->con_priv->pdc_requests 0-4294967295
PARAM_VALUE 0 core->tx_data.ch->con_priv->pdev->dev.dma_uses_io_tlb 0-1
PARAM_VALUE 0 core->tx_data.ch->con_priv->pdev->dev.iommu->pci_32bit_workaround 0-1
PARAM_VALUE 0 core->tx_data.ch->con_priv->resp_offset 0-u16max
PARAM_VALUE 0 core->tx_data.ch->con_priv->rx_buf_pool->dev->dma_uses_io_tlb 1
PARAM_VALUE 0 core->tx_data.ch->con_priv->rx_buf_pool->dev->iommu->attach_deferred 0-1
PARAM_VALUE 0 core->tx_data.ch->con_priv->rx_buf_pool->dev->iommu->pci_32bit_workaround 0-1
PARAM_VALUE 0 core->tx_data.ch->con_priv->rx_buf_pool->lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 core->tx_data.ch->con_priv->rx_msg_start 0-4294967295
PARAM_VALUE 0 core->tx_data.ch->con_priv->rx_ring_full 0-4294967295
PARAM_VALUE 0 core->tx_data.ch->con_priv->rxnobuf 0-4294967295
PARAM_VALUE 0 core->tx_data.ch->con_priv->rxout 0-4294967295
PARAM_VALUE 0 core->tx_data.ch->con_priv->tx_msg_start 0-4294967295
PARAM_VALUE 0 core->tx_data.ch->con_priv->tx_ring_full 0-4294967295
PARAM_VALUE 0 core->tx_data.ch->con_priv->txnobuf 0-4294967295
PARAM_VALUE 0 core->tx_data.ch->con_priv->txout 0-4294967295
PARAM_VALUE 0 core->tx_data.ch->mbox->poll_hrt.base->active.rb_root.rb_leftmost->prev 0
PARAM_VALUE 0 core->tx_data.ch->mbox->poll_hrt.is_queued 1
PARAM_VALUE 0 core->tx_data.ch->mbox->poll_hrt.node.expires 0-s64max
PARAM_VALUE 0 core->tx_data.ch->tx_complete.done 0-4294967293,u32max
PARAM_VALUE 0 core->tx_type.ch 0,4096-ptr_max
PARAM_VALUE 0 core->tx_type.ch->con_priv->chan_in_use 1
PARAM_VALUE 0 core->tx_type.ch->con_priv->control_scb->cache->cached_rbnode->base_reg 0-4294967295
PARAM_VALUE 0 core->tx_type.ch->con_priv->control_scb->cache->cached_rbnode->blklen 0-4294967295
PARAM_VALUE 0 core->tx_type.ch->con_priv->control_scb->cache_dirty 1
PARAM_VALUE 0 core->tx_type.ch->con_priv->dir 1
PARAM_VALUE 0 core->tx_type.ch->con_priv->pdc_requests 0-4294967295
PARAM_VALUE 0 core->tx_type.ch->con_priv->pdev->dev.dma_uses_io_tlb 0-1
PARAM_VALUE 0 core->tx_type.ch->con_priv->pdev->dev.iommu->pci_32bit_workaround 0-1
PARAM_VALUE 0 core->tx_type.ch->con_priv->resp_offset 0-u16max
PARAM_VALUE 0 core->tx_type.ch->con_priv->rx_buf_pool->dev->dma_uses_io_tlb 1
PARAM_VALUE 0 core->tx_type.ch->con_priv->rx_buf_pool->dev->iommu->attach_deferred 0-1
PARAM_VALUE 0 core->tx_type.ch->con_priv->rx_buf_pool->dev->iommu->pci_32bit_workaround 0-1
PARAM_VALUE 0 core->tx_type.ch->con_priv->rx_buf_pool->lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 core->tx_type.ch->con_priv->rx_msg_start 0-4294967295
PARAM_VALUE 0 core->tx_type.ch->con_priv->rx_ring_full 0-4294967295
PARAM_VALUE 0 core->tx_type.ch->con_priv->rxnobuf 0-4294967295
PARAM_VALUE 0 core->tx_type.ch->con_priv->rxout 0-4294967295
PARAM_VALUE 0 core->tx_type.ch->con_priv->tx_msg_start 0-4294967295
PARAM_VALUE 0 core->tx_type.ch->con_priv->tx_ring_full 0-4294967295
PARAM_VALUE 0 core->tx_type.ch->con_priv->txnobuf 0-4294967295
PARAM_VALUE 0 core->tx_type.ch->con_priv->txout 0-4294967295
PARAM_VALUE 0 core->tx_type.ch->mbox->poll_hrt.base->active.rb_root.rb_leftmost->prev 0
PARAM_VALUE 0 core->tx_type.ch->mbox->poll_hrt.is_queued 1
PARAM_VALUE 0 core->tx_type.ch->mbox->poll_hrt.node.expires 0-s64max
PARAM_VALUE 0 core->tx_type.ch->tx_complete.done 0-4294967293,u32max
PARAM_VALUE 0 *core->tx_data.ch->con_priv->control_scb->cache->data 0-4294967295
PARAM_VALUE 0 *core->tx_data.ch->con_priv->txin_numd 0-4294967295
PARAM_VALUE 0 *core->tx_data.ch->msg_data 0-s64max
PARAM_VALUE 0 *core->tx_type.ch->con_priv->control_scb->cache->data 0-4294967295
PARAM_VALUE 0 *core->tx_type.ch->con_priv->txin_numd 0-4294967295
PARAM_VALUE 0 *core->tx_type.ch->msg_data 0-s64max
PARAM_VALUE 1 type 3
DATA_SOURCE 0 core $0
NOCHECK_CALL
UNITS 2 data unit_byte
HALF_LOCKED2 &pool->lock

drivers/media/platform/amphion/vpu_msgs.c vpu_isr_thread() -> vpu_mbox_send_msg()

Type Parameter Key Value
PARAM_VALUE 0 core 4096-ptr_max
PARAM_VALUE 0 core->tx_data.ch 0,4096-ptr_max
PARAM_VALUE 0 core->tx_data.ch->con_priv->chan_in_use 1
PARAM_VALUE 0 core->tx_data.ch->con_priv->control_scb->cache->cached_rbnode->base_reg 0-4294967295
PARAM_VALUE 0 core->tx_data.ch->con_priv->control_scb->cache->cached_rbnode->blklen 0-4294967295
PARAM_VALUE 0 core->tx_data.ch->con_priv->control_scb->cache_dirty 1
PARAM_VALUE 0 core->tx_data.ch->con_priv->dir 1
PARAM_VALUE 0 core->tx_data.ch->con_priv->pdc_requests 0-4294967295
PARAM_VALUE 0 core->tx_data.ch->con_priv->pdev->dev.dma_uses_io_tlb 0-1
PARAM_VALUE 0 core->tx_data.ch->con_priv->pdev->dev.iommu->pci_32bit_workaround 0-1
PARAM_VALUE 0 core->tx_data.ch->con_priv->resp_offset 0-u16max
PARAM_VALUE 0 core->tx_data.ch->con_priv->rx_buf_pool->dev->dma_uses_io_tlb 1
PARAM_VALUE 0 core->tx_data.ch->con_priv->rx_buf_pool->dev->iommu->attach_deferred 0-1
PARAM_VALUE 0 core->tx_data.ch->con_priv->rx_buf_pool->dev->iommu->pci_32bit_workaround 0-1
PARAM_VALUE 0 core->tx_data.ch->con_priv->rx_buf_pool->lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 core->tx_data.ch->con_priv->rx_msg_start 0-4294967295
PARAM_VALUE 0 core->tx_data.ch->con_priv->rx_ring_full 0-4294967295
PARAM_VALUE 0 core->tx_data.ch->con_priv->rxnobuf 0-4294967295
PARAM_VALUE 0 core->tx_data.ch->con_priv->rxout 0-4294967295
PARAM_VALUE 0 core->tx_data.ch->con_priv->tx_msg_start 0-4294967295
PARAM_VALUE 0 core->tx_data.ch->con_priv->tx_ring_full 0-4294967295
PARAM_VALUE 0 core->tx_data.ch->con_priv->txnobuf 0-4294967295
PARAM_VALUE 0 core->tx_data.ch->con_priv->txout 0-4294967295
PARAM_VALUE 0 core->tx_data.ch->mbox->poll_hrt.base->active.rb_root.rb_leftmost->prev 0
PARAM_VALUE 0 core->tx_data.ch->tx_complete.done 0-4294967293,u32max
PARAM_VALUE 0 core->tx_type.ch 0,4096-ptr_max
PARAM_VALUE 0 core->tx_type.ch->con_priv->chan_in_use 1
PARAM_VALUE 0 core->tx_type.ch->con_priv->control_scb->cache->cached_rbnode->base_reg 0-4294967295
PARAM_VALUE 0 core->tx_type.ch->con_priv->control_scb->cache->cached_rbnode->blklen 0-4294967295
PARAM_VALUE 0 core->tx_type.ch->con_priv->control_scb->cache_dirty 1
PARAM_VALUE 0 core->tx_type.ch->con_priv->dir 1
PARAM_VALUE 0 core->tx_type.ch->con_priv->pdc_requests 0-4294967295
PARAM_VALUE 0 core->tx_type.ch->con_priv->pdev->dev.dma_uses_io_tlb 0-1
PARAM_VALUE 0 core->tx_type.ch->con_priv->pdev->dev.iommu->pci_32bit_workaround 0-1
PARAM_VALUE 0 core->tx_type.ch->con_priv->resp_offset 0-u16max
PARAM_VALUE 0 core->tx_type.ch->con_priv->rx_buf_pool->dev->dma_uses_io_tlb 1
PARAM_VALUE 0 core->tx_type.ch->con_priv->rx_buf_pool->dev->iommu->attach_deferred 0-1
PARAM_VALUE 0 core->tx_type.ch->con_priv->rx_buf_pool->dev->iommu->pci_32bit_workaround 0-1
PARAM_VALUE 0 core->tx_type.ch->con_priv->rx_buf_pool->lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 core->tx_type.ch->con_priv->rx_msg_start 0-4294967295
PARAM_VALUE 0 core->tx_type.ch->con_priv->rx_ring_full 0-4294967295
PARAM_VALUE 0 core->tx_type.ch->con_priv->rxnobuf 0-4294967295
PARAM_VALUE 0 core->tx_type.ch->con_priv->rxout 0-4294967295
PARAM_VALUE 0 core->tx_type.ch->con_priv->tx_msg_start 0-4294967295
PARAM_VALUE 0 core->tx_type.ch->con_priv->tx_ring_full 0-4294967295
PARAM_VALUE 0 core->tx_type.ch->con_priv->txnobuf 0-4294967295
PARAM_VALUE 0 core->tx_type.ch->con_priv->txout 0-4294967295
PARAM_VALUE 0 core->tx_type.ch->mbox->poll_hrt.base->active.rb_root.rb_leftmost->prev 0
PARAM_VALUE 0 core->tx_type.ch->tx_complete.done 0-4294967293,u32max
PARAM_VALUE 0 *core->tx_data.ch->con_priv->control_scb->cache->data 0-4294967295
PARAM_VALUE 0 *core->tx_data.ch->con_priv->txin_numd 0-4294967295
PARAM_VALUE 0 *core->tx_data.ch->msg_data 0-s64max
PARAM_VALUE 0 *core->tx_type.ch->con_priv->control_scb->cache->data 0-4294967295
PARAM_VALUE 0 *core->tx_type.ch->con_priv->txin_numd 0-4294967295
PARAM_VALUE 0 *core->tx_type.ch->msg_data 0-s64max
PARAM_VALUE 1 type 1
PARAM_VALUE 2 data 2
DATA_SOURCE 0 core $0
NOCHECK_CALL
HALF_LOCKED2 &pool->lock