Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 5 files:

Smatch caller information:

drivers/net/wireless/ath/ath12k/ce.c ath12k_ce_completed_recv_next() -> ath12k_hal_srng_dst_get_next_entry()

Type Parameter Key Value
PARAM_VALUE 0 ab->ce.ce_lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 ab->hal.srng_list 4096-ptr_max
PARAM_VALUE 1 srng 4096-ptr_max
PARAM_VALUE 1 srng->lock.rlock.dep_map->name 0-255
PREEMPT_ADD <- disables preempt
LOCK2 bh
LOCK2 0 &ab->ce.ce_lock
LOCK2 1 &srng->lock
HALF_LOCKED2 &ab->core_lock
HALF_LOCKED2 &ag->mutex
HALF_LOCKED2 &pool->lock
TYPE_LOCK (struct ath12k_ce)->ce_lock
TYPE_LOCK (struct hal_srng)->lock

drivers/net/wireless/ath/ath12k/wifi7/dp_tx.c ath12k_wifi7_dp_tx_completion_handler() -> ath12k_hal_srng_dst_get_next_entry()

Type Parameter Key Value
PARAM_VALUE 0 ab 4096-ptr_max
PARAM_VALUE 0 ab->profile_param 4096-ptr_max
PARAM_VALUE 1 srng 4096-ptr_max
PARAM_VALUE 1 srng->lock.rlock.dep_map->name 0-255
PREEMPT_ADD <- disables preempt
RX_PATH
TASK_NOT_RUNNING
LOCK2 bh
LOCK2 1 &srng->lock
HALF_LOCKED2 rcu_read
TYPE_LOCK (struct hal_srng)->lock

drivers/net/wireless/ath/ath12k/wifi7/dp_mon.c ath12k_wifi7_dp_mon_srng_process() -> ath12k_hal_srng_dst_get_next_entry()

Type Parameter Key Value
PARAM_VALUE 0 ab 4096-ptr_max
PARAM_VALUE 0 ab->drv_priv->mhi_ctrl->mhi_dev->mhi_cntrl->cntrl_dev->power.deferred_resume 0-1
PARAM_VALUE 0 ab->drv_priv->mhi_ctrl->mhi_dev->mhi_cntrl->cntrl_dev->power.idle_notification 0-1
PARAM_VALUE 0 ab->drv_priv->mhi_ctrl->mhi_dev->mhi_cntrl->cntrl_dev->power.request 0-4
PARAM_VALUE 0 ab->drv_priv->mhi_ctrl->mhi_dev->mhi_cntrl->cntrl_dev->power.request_pending 0-1
PARAM_VALUE 0 ab->drv_priv->mhi_ctrl->mhi_dev->mhi_cntrl->cntrl_dev->power.runtime_error s32min-(-17),(-15)-(-14),(-12),(-10)-s32max
PARAM_VALUE 0 ab->drv_priv->mhi_ctrl->mhi_dev->mhi_cntrl->cntrl_dev->power.runtime_status s32min-s32max
PARAM_VALUE 0 ab->drv_priv->mhi_ctrl->mhi_dev->mhi_cntrl->cntrl_dev->power.timer_autosuspends 0-1
PARAM_VALUE 0 ab->drv_priv->mhi_ctrl->mhi_dev->mhi_cntrl->cntrl_dev->power.usage_count.counter s32min-s32max
PARAM_VALUE 0 ab->drv_priv->mhi_ctrl->mhi_dev->mhi_cntrl->cntrl_dev->power.wakeirq->status 0-4294967295
PARAM_VALUE 0 ab->drv_priv->mhi_ctrl->mhi_dev->mhi_cntrl->dev_wake.counter s32min-s32max
PARAM_VALUE 0 ab->drv_priv->mhi_ctrl->mhi_dev->mhi_cntrl->pm_lock.dep_map->name 0-255
PARAM_VALUE 0 ab->drv_priv->mhi_ctrl->mhi_dev->mhi_cntrl->wake_set 0-1
PARAM_VALUE 0 ab->drv_priv->mhi_ctrl->mhi_dev->mhi_cntrl->wlock.rlock.dep_map->name 0-255
PARAM_VALUE 0 ab->drv_priv->window_lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 ab->hal.srng_list 4096-ptr_max
PARAM_VALUE 0 ab->hw_params 4096-ptr_max
PARAM_VALUE 0 ab->hw_params->hw_ops 4096-ptr_max
PARAM_VALUE 1 srng 4096-ptr_max
PARAM_VALUE 1 srng->lock.rlock.dep_map->name 0-255
PARAM_COMPARE 1 srng->u.dst_ring.cached_hp != $1->u.dst_ring.tp
PREEMPT_ADD <- disables preempt
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 rcu_read
LOCK2 1 &srng->lock
HALF_LOCKED2 bh
TYPE_LOCK (struct hal_srng)->lock

drivers/net/wireless/ath/ath12k/wifi7/dp_mon.c ath12k_wifi7_dp_rx_mon_dest_process() -> ath12k_hal_srng_dst_get_next_entry()

Type Parameter Key Value
PARAM_VALUE 0 ab 4096-ptr_max
PARAM_VALUE 0 ab->dev->iommu->pci_32bit_workaround 0-1
PARAM_VALUE 0 ab->drv_priv->mhi_ctrl->mhi_dev->dev_wake 0-4294967295
PARAM_VALUE 0 ab->drv_priv->mhi_ctrl->mhi_dev->mhi_cntrl->cntrl_dev->power.deferred_resume 0-1
PARAM_VALUE 0 ab->drv_priv->mhi_ctrl->mhi_dev->mhi_cntrl->cntrl_dev->power.request 0-4
PARAM_VALUE 0 ab->drv_priv->mhi_ctrl->mhi_dev->mhi_cntrl->cntrl_dev->power.request_pending 0-1
PARAM_VALUE 0 ab->drv_priv->mhi_ctrl->mhi_dev->mhi_cntrl->cntrl_dev->power.runtime_status s32min-s32max
PARAM_VALUE 0 ab->drv_priv->mhi_ctrl->mhi_dev->mhi_cntrl->dev_wake.counter s32min-s32max
PARAM_VALUE 0 ab->drv_priv->mhi_ctrl->mhi_dev->mhi_cntrl->pm_lock.dep_map->name 0-255
PARAM_VALUE 0 ab->drv_priv->mhi_ctrl->mhi_dev->mhi_cntrl->wake_set 0-1
PARAM_VALUE 0 ab->drv_priv->window_lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 ab->hal.hal_params->rx_buf_rbm 6,8
PARAM_VALUE 0 ab->hal.srng_list 4096-ptr_max
PARAM_VALUE 0 ab->hw_params 4096-ptr_max
PARAM_VALUE 0 ab->hw_params->hw_ops 4096-ptr_max
PARAM_VALUE 1 srng 4096-ptr_max
PREEMPT_ADD <- disables preempt
RX_PATH
TASK_NOT_RUNNING
LOCK2 &srng->lock
LOCK2 rcu_read
HALF_LOCKED2 &ni->dev_lock
HALF_LOCKED2 bh
TYPE_LOCK (struct hal_srng)->lock

drivers/net/wireless/ath/ath12k/wifi7/dp_rx.c ath12k_wifi7_dp_rx_process() -> ath12k_hal_srng_dst_get_next_entry()

Type Parameter Key Value
PARAM_VALUE 1 srng 4096-ptr_max
PARAM_VALUE 1 srng->lock.rlock.dep_map->name 0-255
PREEMPT_ADD <- disables preempt
RX_PATH
TASK_NOT_RUNNING
LOCK2 bh
LOCK2 1 &srng->lock
HALF_LOCKED2 rcu_read
TYPE_LOCK (struct hal_srng)->lock

drivers/net/wireless/ath/ath12k/wifi7/dp_rx.c ath12k_wifi7_dp_rx_process() -> ath12k_hal_srng_dst_get_next_entry()

Type Parameter Key Value
PARAM_VALUE 1 srng 4096-ptr_max
PARAM_VALUE 1 srng->lock.rlock.dep_map->name 0-255
PREEMPT_ADD <- disables preempt
RX_PATH
TASK_NOT_RUNNING
LOCK2 bh
LOCK2 1 &srng->lock
HALF_LOCKED2 rcu_read
TYPE_LOCK (struct hal_srng)->lock

drivers/net/wireless/ath/ath12k/wifi7/dp_rx.c ath12k_wifi7_dp_rx_process_err() -> ath12k_hal_srng_dst_get_next_entry()

Type Parameter Key Value
PARAM_VALUE 1 srng 4096-ptr_max
PARAM_VALUE 1 srng->lock.rlock.dep_map->name 0-255
PREEMPT_ADD <- disables preempt
RX_PATH
TASK_NOT_RUNNING
LOCK2 bh
LOCK2 1 &srng->lock
TYPE_LOCK (struct hal_srng)->lock

drivers/net/wireless/ath/ath12k/wifi7/dp_rx.c ath12k_wifi7_dp_rx_process_err() -> ath12k_hal_srng_dst_get_next_entry()

Type Parameter Key Value
PARAM_VALUE 1 srng 4096-ptr_max
PARAM_VALUE 1 srng->lock.rlock.dep_map->name 0-255
PREEMPT_ADD <- disables preempt
RX_PATH
TASK_NOT_RUNNING
LOCK2 bh
LOCK2 1 &srng->lock
TYPE_LOCK (struct hal_srng)->lock

drivers/net/wireless/ath/ath12k/wifi7/dp_rx.c ath12k_wifi7_dp_rx_process_reo_status() -> ath12k_hal_srng_dst_get_next_entry()

Type Parameter Key Value
PARAM_VALUE 1 srng 4096-ptr_max
PARAM_VALUE 1 srng->lock.rlock.dep_map->name 0-255
PREEMPT_ADD <- disables preempt
RX_PATH
TASK_NOT_RUNNING
LOCK2 1 &srng->lock
HALF_LOCKED2 bh
HALF_LOCKED2 rcu_read
TYPE_LOCK (struct hal_srng)->lock

drivers/net/wireless/ath/ath12k/wifi7/dp_rx.c ath12k_wifi7_dp_rx_process_reo_status() -> ath12k_hal_srng_dst_get_next_entry()

Type Parameter Key Value
PARAM_VALUE 1 srng 4096-ptr_max
PARAM_VALUE 1 srng->lock.rlock.dep_map->name 0-255
PREEMPT_ADD <- disables preempt
RX_PATH
TASK_NOT_RUNNING
LOCK2 1 &srng->lock
HALF_LOCKED2 bh
HALF_LOCKED2 rcu_read
TYPE_LOCK (struct hal_srng)->lock

drivers/net/wireless/ath/ath12k/wifi7/dp_rx.c ath12k_wifi7_dp_rx_process_wbm_err() -> ath12k_hal_srng_dst_get_next_entry()

Type Parameter Key Value
PARAM_VALUE 1 srng 4096-ptr_max
PARAM_VALUE 1 srng->lock.rlock.dep_map->name 0-255
PREEMPT_ADD <- disables preempt
RX_PATH
TASK_NOT_RUNNING
LOCK2 bh
LOCK2 1 &srng->lock
HALF_LOCKED2 rcu_read
TYPE_LOCK (struct hal_srng)->lock