Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/net/wireless/ath/ath12k/ce.c ath12k_ce_recv_process_cb() -> ath12k_ce_rx_post_pipe()

Type Parameter Key Value
PARAM_VALUE 0 pipe 4096-ptr_max
PARAM_VALUE 0 pipe->ab->ce.ce_lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 pipe->ab->drv_priv->mhi_ctrl->mhi_dev->mhi_cntrl->cntrl_dev->power.deferred_resume 0-1
PARAM_VALUE 0 pipe->ab->drv_priv->mhi_ctrl->mhi_dev->mhi_cntrl->cntrl_dev->power.request 0-4
PARAM_VALUE 0 pipe->ab->drv_priv->mhi_ctrl->mhi_dev->mhi_cntrl->cntrl_dev->power.request_pending 0-1
PARAM_VALUE 0 pipe->ab->drv_priv->mhi_ctrl->mhi_dev->mhi_cntrl->cntrl_dev->power.runtime_error s32min-(-17),(-15)-(-14),(-12),(-10)-s32max
PARAM_VALUE 0 pipe->ab->drv_priv->mhi_ctrl->mhi_dev->mhi_cntrl->cntrl_dev->power.runtime_status s32min-s32max
PARAM_VALUE 0 pipe->ab->drv_priv->mhi_ctrl->mhi_dev->mhi_cntrl->cntrl_dev->power.wakeirq->status 0-4294967295
PARAM_VALUE 0 pipe->ab->drv_priv->mhi_ctrl->mhi_dev->mhi_cntrl->dev_wake.counter s32min-s32max
PARAM_VALUE 0 pipe->ab->drv_priv->mhi_ctrl->mhi_dev->mhi_cntrl->pm_lock.dep_map->name 0-255
PARAM_VALUE 0 pipe->ab->drv_priv->mhi_ctrl->mhi_dev->mhi_cntrl->wake_set 0-1
PARAM_VALUE 0 pipe->ab->drv_priv->mhi_ctrl->mhi_dev->mhi_cntrl->wlock.rlock.dep_map->name 0-255
PARAM_VALUE 0 pipe->ab->drv_priv->window_lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 pipe->dest_ring 4096-ptr_max
PARAM_VALUE 0 pipe->recv_cb 1-u64max
DATA_SOURCE 0 pipe $0
HALF_LOCKED2 &ab->core_lock
HALF_LOCKED2 &ag->mutex
HALF_LOCKED2 &pool->lock

drivers/net/wireless/ath/ath12k/ce.c ath12k_ce_rx_post_buf() -> ath12k_ce_rx_post_pipe()

Type Parameter Key Value
PARAM_VALUE 0 pipe 4096-ptr_max
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &ab->core_lock
HALF_LOCKED2 &ag->mutex
HALF_LOCKED2 &pool->lock