Open Menu /

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/firmware/arm_scmi/raw_mode.c scmi_do_xfer_raw_start() -> scmi_xfer_raw_waiter_enqueue()

Type Parameter Key Value
PARAM_VALUE 0 raw 4096-ptr_max
PARAM_VALUE 0 raw->desc 4096-ptr_max
PARAM_VALUE 0 raw->desc->force_polling 0
PARAM_VALUE 0 raw->desc->max_msg_size 0-s32max
PARAM_VALUE 0 raw->desc->ops 4096-ptr_max
PARAM_VALUE 0 raw->desc->ops->poll_done 4096-ptr_max
PARAM_VALUE 0 raw->desc->sync_cmds_completed_on_ret 0
PARAM_VALUE 0 raw->free_mtx.dep_map->name 0-255
PARAM_VALUE 0 raw->free_mtx.first_waiter 0,4096-ptr_max
PARAM_VALUE 0 raw->free_mtx.first_waiter->list.prev->next 5159360019465732096
PARAM_VALUE 0 raw->free_mtx.first_waiter->task->blocked_lock.dep_map->name 0-255
PARAM_VALUE 0 raw->free_mtx.first_waiter->task->blocked_lock.owner (-1)
PARAM_VALUE 0 raw->free_mtx.first_waiter->task->blocked_lock.owner_cpu 4294967295
PARAM_VALUE 0 raw->free_mtx.first_waiter->task->blocked_lock.raw_lock.val.counter s32min-s32max
PARAM_VALUE 0 raw->free_mtx.first_waiter->task->usage.refs.counter s32min-s32max
PARAM_VALUE 0 raw->free_mtx.osq.tail.counter 0-s32max
PARAM_VALUE 0 raw->handle 4096-ptr_max
PARAM_VALUE 1 rw 4096-ptr_max
PARAM_VALUE 1 rw->cinfo 4096-ptr_max
PARAM_VALUE 1 rw->cinfo->transport_info->chan->con_priv->chan_in_use 1
PARAM_VALUE 1 rw->cinfo->transport_info->chan->con_priv->control_scb->cache_dirty 1
PARAM_VALUE 1 rw->cinfo->transport_info->chan->con_priv->dir 1
PARAM_VALUE 1 rw->cinfo->transport_info->chan->con_priv->pdc_requests 0-4294967295
PARAM_VALUE 1 rw->cinfo->transport_info->chan->con_priv->pdev->dev.dma_uses_io_tlb 0-1
PARAM_VALUE 1 rw->cinfo->transport_info->chan->con_priv->pdev->dev.iommu->pci_32bit_workaround 0-1
PARAM_VALUE 1 rw->cinfo->transport_info->chan->con_priv->resp_offset 0-u16max
PARAM_VALUE 1 rw->cinfo->transport_info->chan->con_priv->rx_buf_pool->dev->dma_uses_io_tlb 1
PARAM_VALUE 1 rw->cinfo->transport_info->chan->con_priv->rx_buf_pool->lock.rlock.dep_map->name 0-255
PARAM_VALUE 1 rw->cinfo->transport_info->chan->con_priv->rx_msg_start 0-4294967295
PARAM_VALUE 1 rw->cinfo->transport_info->chan->con_priv->rx_ring_full 0-4294967295
PARAM_VALUE 1 rw->cinfo->transport_info->chan->con_priv->rxnobuf 0-4294967295
PARAM_VALUE 1 rw->cinfo->transport_info->chan->con_priv->rxout 0-4294967295
PARAM_VALUE 1 rw->cinfo->transport_info->chan->con_priv->tx_msg_start 0-4294967295
PARAM_VALUE 1 rw->cinfo->transport_info->chan->con_priv->tx_ring_full 0-4294967295
PARAM_VALUE 1 rw->cinfo->transport_info->chan->con_priv->txnobuf 0-4294967295
PARAM_VALUE 1 rw->cinfo->transport_info->chan->con_priv->txout 0-4294967295
PARAM_VALUE 1 rw->cinfo->transport_info->chan->mbox->poll_hrt.is_queued 1
PARAM_VALUE 1 rw->cinfo->transport_info->chan->mbox->poll_hrt.node.expires 0-s64max
PARAM_VALUE 1 rw->cinfo->transport_info->chan->msg_count 0-4294967295
PARAM_VALUE 1 rw->cinfo->transport_info->chan->msg_free 0-4294967295
PARAM_VALUE 1 rw->cinfo->transport_info->chan->tx_complete.done 0-4294967293,4294967295
PARAM_VALUE 1 rw->cinfo->transport_info->chan->tx_complete.wait.lock.dep_map->name 0-255
PARAM_VALUE 1 rw->cinfo->transport_info->chan->tx_complete.wait.lock.owner (-1)
PARAM_VALUE 1 rw->cinfo->transport_info->chan->tx_complete.wait.lock.owner_cpu 4294967295
PARAM_VALUE 1 rw->cinfo->transport_info->chan_lock.dep_map->name 0-255
PARAM_VALUE 1 rw->cinfo->transport_info->chan_lock.first_waiter->list.prev->next 5159360019465732096
PARAM_VALUE 1 rw->cinfo->transport_info->chan_lock.osq.tail.counter 0-s32max
PARAM_VALUE 1 rw->node.next->prev 4096-ptr_max
PARAM_VALUE 1 rw->node.prev->next 4096-ptr_max
PARAM_VALUE 1 rw->xfer 4096-ptr_max
PARAM_VALUE 1 rw->xfer->busy.counter 0
PARAM_VALUE 1 rw->xfer->hdr.status 0
PARAM_VALUE 1 rw->xfer->node.next 0
PARAM_VALUE 1 rw->xfer->node.pprev 0
PARAM_VALUE 1 rw->xfer->rx.len 0-s32max
PARAM_VALUE 1 rw->xfer->tx.len 0-s32max
PARAM_VALUE 1 rw->xfer->users.refs.counter 1
PARAM_VALUE 1 *rw->cinfo->transport_info->chan->active_req (-4611686018427387904)-4611686018427387903
PARAM_VALUE 1 *rw->cinfo->transport_info->chan->con_priv->control_scb->cache->data 0-4294967295
PARAM_VALUE 1 *rw->cinfo->transport_info->chan->con_priv->txin_numd 0-4294967295
PARAM_VALUE 1 *rw->cinfo->transport_info->chan->msg_data 0-s64max
CAPPED_DATA 0 raw->desc->max_msg_size 1
DATA_SOURCE 0 raw $0
DATA_SOURCE 1 rw r scmi_xfer_raw_waiter_get
PARAM_COMPARE 0 &raw->free_waiters != $0->free_waiters.next
NOCHECK_CALL
UNITS 0 raw unit_array_size
LOCK2 1 &rw->cinfo->transport_info->chan_lock