Documented in 1 files:
Defined in 1 files as a prototype:
Defined in 1 files as a function:
Referenced in 21 files:
- drivers/acpi/acpi_pcc.c, line 126
- drivers/acpi/cppc_acpi.c, line 429
- drivers/hwmon/xgene-hwmon.c, line 173
- drivers/i2c/busses/i2c-xgene-slimpro.c, line 228
- drivers/mailbox/arm_mhuv2.c
- drivers/mailbox/arm_mhuv3.c, line 902
- drivers/mailbox/armada-37xx-rwtm-mailbox.c, line 72
- drivers/mailbox/cix-mailbox.c
- drivers/mailbox/hi6220-mailbox.c, line 177
- drivers/mailbox/imx-mailbox.c
- drivers/mailbox/mailbox-altera.c, line 147
- drivers/mailbox/mailbox-mchp-ipc-sbi.c, line 244
- drivers/mailbox/mailbox-th1520.c, line 252
- drivers/mailbox/mailbox-xgene-slimpro.c, line 110
- drivers/mailbox/mailbox.c, line 177
- drivers/mailbox/omap-mailbox.c, line 199
- drivers/mailbox/pcc.c, line 341
- drivers/mailbox/sprd-mailbox.c
- drivers/mailbox/stm32-ipcc.c, line 138
- drivers/mailbox/tegra-hsp.c
- drivers/soc/hisilicon/kunpeng_hccs.c, line 347
Smatch caller information:
drivers/mailbox/hi6220-mailbox.c hi6220_mbox_interrupt() -> mbox_chan_txdone()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | chan | 4096-ptr_max |
| PARAM_VALUE | 0 | chan->con_priv | 4096-ptr_max |
| PARAM_VALUE | 1 | r | 0 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| HOST_DATA | 0 | *chan->cl->dev->driver_data->rx_buffer | 0-255 |
| HALF_LOCKED2 | &desc->request_mutex | ||
| HALF_LOCKED2 | flags |
drivers/mailbox/armada-37xx-rwtm-mailbox.c a37xx_mbox_irq_handler() -> mbox_chan_txdone()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | chan | 4096-ptr_max |
| PARAM_VALUE | 0 | chan->con_priv | 4096-ptr_max |
| PARAM_VALUE | 1 | r | 0 |
| DATA_SOURCE | 0 | chan | $1 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| HOST_DATA | 0 | *chan->cl->dev->driver_data->rx_buffer | 0-255 |
| HALF_LOCKED2 | &desc->request_mutex | ||
| HALF_LOCKED2 | flags |
drivers/mailbox/mailbox-th1520.c th1520_mbox_isr() -> mbox_chan_txdone()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | chan | 4096-ptr_max |
| PARAM_VALUE | 0 | chan->con_priv | 4096-ptr_max |
| PARAM_VALUE | 1 | r | 0 |
| DATA_SOURCE | 0 | chan | $1 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| HOST_DATA | 0 | *chan->cl->dev->driver_data->rx_buffer | 0-255 |
| HALF_LOCKED2 | &desc->request_mutex | ||
| HALF_LOCKED2 | flags |
drivers/hwmon/xgene-hwmon.c xgene_hwmon_pcc_rd() -> mbox_chan_txdone()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | chan | 0,4096-ptr_max |
| PARAM_VALUE | 1 | r | 0 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| LOCK2 | &ctx->rd_mutex | ||
| HALF_LOCKED2 | &of->mutex | ||
| HALF_LOCKED2 | &pool->lock | ||
| TYPE_LOCK | (struct xgene_hwmon_dev)->rd_mutex |
drivers/mailbox/arm_mhuv3.c mhuv3_pbx_comb_interrupt() -> mbox_chan_txdone()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | chan | 4096-ptr_max |
| PARAM_VALUE | 0 | chan->cl | 1-u64max |
| PARAM_VALUE | 1 | r | 0 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL |
drivers/mailbox/pcc.c pcc_mbox_irq() -> mbox_chan_txdone()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | chan | 4096-ptr_max |
| PARAM_VALUE | 0 | chan->cl | 4096-ptr_max |
| PARAM_VALUE | 0 | chan->cl->dev->driver_data->cmd_done.done | 0-4294967295 |
| PARAM_VALUE | 0 | chan->cl->dev->driver_data->cmd_done.wait.lock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | chan->cl->dev->driver_data->cmd_done.wait.lock.owner | (-1) |
| PARAM_VALUE | 0 | chan->cl->dev->driver_data->cmd_done.wait.lock.owner_cpu | 4294967295 |
| PARAM_VALUE | 0 | chan->cl->dev->driver_data->data_ready | 1 |
| PARAM_VALUE | 0 | chan->cl->dev->driver_data->lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | chan->cl->dev->driver_data->reply.retval | 0-4294967295 |
| PARAM_VALUE | 0 | chan->con_priv | 4096-ptr_max |
| PARAM_VALUE | 0 | *chan->cl->dev->driver_data->rx_buffer | 0-255 |
| PARAM_VALUE | 1 | r | 0 |
| DATA_SOURCE | 0 | chan | $1 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| HOST_DATA | 0 | *chan->cl->dev->driver_data->rx_buffer | 0-255 |
| HALF_LOCKED2 | &desc->request_mutex | ||
| HALF_LOCKED2 | flags |
drivers/acpi/cppc_acpi.c send_pcc_cmd() -> mbox_chan_txdone()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | chan | 4096-ptr_max |
| PARAM_VALUE | 0 | chan->cl | 4096-ptr_max |
| PARAM_VALUE | 0 | chan->con_priv->chan_in_use | 1 |
| PARAM_VALUE | 0 | chan->con_priv->control_scb->cache->cached_rbnode->base_reg | 0-4294967295 |
| PARAM_VALUE | 0 | chan->con_priv->control_scb->cache->cached_rbnode->blklen | 0-4294967295 |
| PARAM_VALUE | 0 | chan->con_priv->control_scb->cache->cached_rbnode->node.__rb_parent_color | 0-1 |
| PARAM_VALUE | 0 | chan->con_priv->control_scb->cache_dirty | 1 |
| PARAM_VALUE | 0 | chan->con_priv->dir | 1 |
| PARAM_VALUE | 0 | chan->con_priv->pdc_requests | 0-4294967295 |
| PARAM_VALUE | 0 | chan->con_priv->pdev->dev.dma_uses_io_tlb | 0-1 |
| PARAM_VALUE | 0 | chan->con_priv->pdev->dev.iommu->pci_32bit_workaround | 0-1 |
| PARAM_VALUE | 0 | chan->con_priv->resp_offset | 0-u16max |
| PARAM_VALUE | 0 | chan->con_priv->rx_buf_pool->dev->cma_area->alloc_mutex.osq.tail.counter | s32min-s32max |
| PARAM_VALUE | 0 | chan->con_priv->rx_buf_pool->dev->dma_uses_io_tlb | 1 |
| PARAM_VALUE | 0 | chan->con_priv->rx_buf_pool->dev->iommu->pci_32bit_workaround | 0-1 |
| PARAM_VALUE | 0 | chan->con_priv->rx_buf_pool->lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | chan->con_priv->rx_msg_start | 0-4294967295 |
| PARAM_VALUE | 0 | chan->con_priv->rx_ring_full | 0-4294967295 |
| PARAM_VALUE | 0 | chan->con_priv->rxnobuf | 0-4294967295 |
| PARAM_VALUE | 0 | chan->con_priv->rxout | 0-4294967295 |
| PARAM_VALUE | 0 | chan->con_priv->tx_msg_start | 0-4294967295 |
| PARAM_VALUE | 0 | chan->con_priv->tx_ring_full | 0-4294967295 |
| PARAM_VALUE | 0 | chan->con_priv->txnobuf | 0-4294967295 |
| PARAM_VALUE | 0 | chan->con_priv->txout | 0-4294967295 |
| PARAM_VALUE | 0 | chan->mbox | 4096-ptr_max |
| PARAM_VALUE | 0 | chan->mbox->poll_hrt.base->active.rb_root.rb_leftmost->node.__rb_parent_color | 1 |
| PARAM_VALUE | 0 | chan->mbox->poll_hrt.base->active.rb_root.rb_leftmost->prev | 0 |
| PARAM_VALUE | 0 | chan->mbox->poll_hrt.node.node.node.__rb_parent_color | 1 |
| PARAM_VALUE | 0 | chan->mbox->poll_hrt.node.node.node.rb_left | 4096-ptr_max |
| PARAM_VALUE | 0 | chan->mbox->poll_hrt.node.node.node.rb_right | 4096-ptr_max |
| PARAM_VALUE | 0 | chan->mbox->txdone_irq | 1 |
| PARAM_VALUE | 0 | chan->tx_complete.done | 0-4294967293,u32max |
| PARAM_VALUE | 0 | chan->tx_complete.wait.lock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | chan->tx_complete.wait.lock.owner | (-1) |
| PARAM_VALUE | 0 | chan->tx_complete.wait.lock.owner_cpu | u32max |
| PARAM_VALUE | 0 | chan->tx_complete.wait.task_list.prev->next | 4096-ptr_max |
| PARAM_VALUE | 0 | chan->tx_complete.wait.task_list.prev->next->next | 4096-ptr_max |
| PARAM_VALUE | 0 | *chan->con_priv->control_scb->cache->data | 0-4294967295 |
| PARAM_VALUE | 0 | *chan->con_priv->txin_numd | 0-4294967295 |
| PARAM_VALUE | 0 | *chan->msg_data | 0-s64max |
| PARAM_VALUE | 1 | r | (-110),(-5),0 |
| DATA_SOURCE | 1 | r | r check_pcc_chan |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| LOCK2 | &pcc_ss_data->pcc_lock | ||
| HALF_LOCKED2 | &of->mutex | ||
| TYPE_LOCK | (struct cppc_pcc_data)->pcc_lock |
drivers/acpi/acpi_pcc.c acpi_pcc_address_space_handler() -> mbox_chan_txdone()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | chan | 4096-ptr_max |
| PARAM_VALUE | 0 | chan->cl | 4096-ptr_max |
| PARAM_VALUE | 0 | chan->con_priv->chan_in_use | 1 |
| PARAM_VALUE | 0 | chan->con_priv->control_scb->cache->cached_rbnode->base_reg | 0-4294967295 |
| PARAM_VALUE | 0 | chan->con_priv->control_scb->cache->cached_rbnode->blklen | 0-4294967295 |
| PARAM_VALUE | 0 | chan->con_priv->control_scb->cache->cached_rbnode->node.__rb_parent_color | 0-1 |
| PARAM_VALUE | 0 | chan->con_priv->control_scb->cache_dirty | 1 |
| PARAM_VALUE | 0 | chan->con_priv->dir | 1 |
| PARAM_VALUE | 0 | chan->con_priv->pdc_requests | 0-4294967295 |
| PARAM_VALUE | 0 | chan->con_priv->pdev->dev.dma_uses_io_tlb | 0-1 |
| PARAM_VALUE | 0 | chan->con_priv->pdev->dev.iommu->pci_32bit_workaround | 0-1 |
| PARAM_VALUE | 0 | chan->con_priv->resp_offset | 0-u16max |
| PARAM_VALUE | 0 | chan->con_priv->rx_buf_pool->dev->cma_area->alloc_mutex.osq.tail.counter | s32min-s32max |
| PARAM_VALUE | 0 | chan->con_priv->rx_buf_pool->dev->dma_uses_io_tlb | 1 |
| PARAM_VALUE | 0 | chan->con_priv->rx_buf_pool->dev->iommu->pci_32bit_workaround | 0-1 |
| PARAM_VALUE | 0 | chan->con_priv->rx_buf_pool->lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | chan->con_priv->rx_msg_start | 0-4294967295 |
| PARAM_VALUE | 0 | chan->con_priv->rx_ring_full | 0-4294967295 |
| PARAM_VALUE | 0 | chan->con_priv->rxnobuf | 0-4294967295 |
| PARAM_VALUE | 0 | chan->con_priv->rxout | 0-4294967295 |
| PARAM_VALUE | 0 | chan->con_priv->tx_msg_start | 0-4294967295 |
| PARAM_VALUE | 0 | chan->con_priv->tx_ring_full | 0-4294967295 |
| PARAM_VALUE | 0 | chan->con_priv->txnobuf | 0-4294967295 |
| PARAM_VALUE | 0 | chan->con_priv->txout | 0-4294967295 |
| PARAM_VALUE | 0 | chan->mbox->poll_hrt.base->active.rb_root.rb_leftmost->node.__rb_parent_color | 1 |
| PARAM_VALUE | 0 | chan->mbox->poll_hrt.base->active.rb_root.rb_leftmost->prev | 0 |
| PARAM_VALUE | 0 | chan->mbox->poll_hrt.node.node.node.__rb_parent_color | 1 |
| PARAM_VALUE | 0 | chan->mbox->poll_hrt.node.node.node.rb_left | 4096-ptr_max |
| PARAM_VALUE | 0 | chan->mbox->poll_hrt.node.node.node.rb_right | 4096-ptr_max |
| PARAM_VALUE | 0 | chan->tx_complete.done | 0-4294967293,u32max |
| PARAM_VALUE | 0 | chan->tx_complete.wait.lock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | chan->tx_complete.wait.lock.owner | (-1) |
| PARAM_VALUE | 0 | chan->tx_complete.wait.lock.owner_cpu | u32max |
| PARAM_VALUE | 0 | chan->tx_complete.wait.task_list.prev->next | 4096-ptr_max |
| PARAM_VALUE | 0 | chan->tx_complete.wait.task_list.prev->next->next | 4096-ptr_max |
| PARAM_VALUE | 0 | *chan->con_priv->control_scb->cache->data | 0-4294967295 |
| PARAM_VALUE | 0 | *chan->con_priv->txin_numd | 0-4294967295 |
| PARAM_VALUE | 0 | *chan->msg_data | 0-s64max |
| PARAM_VALUE | 1 | r | s32min-(-1),1-s32max |
| DATA_SOURCE | 1 | r | r wait_for_completion_timeout |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| HALF_LOCKED2 | context_mutex |
drivers/mailbox/cix-mailbox.c cix_mbox_isr_fifo() -> mbox_chan_txdone()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | chan | 4096-ptr_max |
| PARAM_VALUE | 0 | chan->con_priv | 4096-ptr_max |
| PARAM_VALUE | 1 | r | 0 |
| DATA_SOURCE | 0 | chan | $0 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| HALF_LOCKED2 | &desc->request_mutex | ||
| HALF_LOCKED2 | _T->lock | ||
| HALF_LOCKED2 | flags | ||
| HALF_LOCKED2 | irq |
drivers/mailbox/cix-mailbox.c cix_mbox_isr_reg() -> mbox_chan_txdone()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | chan | 4096-ptr_max |
| PARAM_VALUE | 0 | chan->con_priv | 4096-ptr_max |
| PARAM_VALUE | 1 | r | 0 |
| DATA_SOURCE | 0 | chan | $0 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| HALF_LOCKED2 | &desc->request_mutex | ||
| HALF_LOCKED2 | _T->lock | ||
| HALF_LOCKED2 | flags | ||
| HALF_LOCKED2 | irq |
drivers/soc/hisilicon/kunpeng_hccs.c hccs_pcc_cmd_send() -> mbox_chan_txdone()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 1 | r | s32min-0 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| HALF_LOCKED2 | &hdev->lock | ||
| HALF_LOCKED2 | &of->mutex |
drivers/mailbox/omap-mailbox.c __mbox_tx_interrupt() -> mbox_chan_txdone()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 1 | r | 0 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| HALF_LOCKED2 | _T->lock | ||
| HALF_LOCKED2 | irq |
drivers/mailbox/imx-mailbox.c imx_mu_isr_th() -> mbox_chan_txdone()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | chan | 4096-ptr_max |
| PARAM_VALUE | 0 | chan->con_priv | 4096-ptr_max |
| PARAM_VALUE | 1 | r | 0 |
| DATA_SOURCE | 0 | chan | $1 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL |
drivers/mailbox/imx-mailbox.c imx_mu_txdb_work() -> mbox_chan_txdone()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 1 | r | 0 |
| NOCHECK_CALL | |||
| HALF_LOCKED2 | &pool->lock |
drivers/mailbox/stm32-ipcc.c stm32_ipcc_tx_irq() -> mbox_chan_txdone()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | chan | 4096-ptr_max |
| PARAM_VALUE | 1 | r | 0 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL |
drivers/mailbox/sprd-mailbox.c sprd_mbox_flush() -> mbox_chan_txdone()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | chan | 4096-ptr_max |
| PARAM_VALUE | 0 | chan->mbox | 4096-ptr_max |
| PARAM_VALUE | 0 | chan->mbox->ops | 4096-ptr_max |
| PARAM_VALUE | 0 | chan->mbox->ops->flush | 3915248241309995008,4031606262737121280 |
| PARAM_VALUE | 1 | r | 0 |
| DATA_SOURCE | 0 | chan | $0 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| HALF_LOCKED2 | &mtk_crtc->hw_lock |
drivers/mailbox/sprd-mailbox.c sprd_mbox_inbox_isr() -> mbox_chan_txdone()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | chan | 4096-ptr_max |
| PARAM_VALUE | 1 | r | 0 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| HALF_LOCKED2 | &desc->request_mutex | ||
| HALF_LOCKED2 | flags |
drivers/mailbox/mailbox-altera.c altera_mbox_tx_interrupt() -> mbox_chan_txdone()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | chan | 0,4096-ptr_max |
| PARAM_VALUE | 1 | r | 0 |
| DATA_SOURCE | 0 | chan | $1 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| HALF_LOCKED2 | &desc->request_mutex | ||
| HALF_LOCKED2 | flags |