Open Menu /

Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 4 files:

Smatch caller information:

drivers/net/wireless/ath/ath12k/dp_rx.c ath12k_dp_rxdma_ring_buf_setup() -> ath12k_dp_rx_bufs_replenish()

Type Parameter Key Value
PARAM_VALUE 0 dp 4096-ptr_max
PARAM_VALUE 1 rx_ring 4096-ptr_max
PARAM_VALUE 2 used_list 6048497641144586240
PARAM_VALUE 2 used_list->next 6048497641144586240
PARAM_VALUE 2 used_list->prev 6048497641144586240
PARAM_VALUE 3 req_entries 0
DATA_SOURCE 1 rx_ring $1
RX_PATH
NOCHECK_CALL
LOCK2 &pool->lock

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

Type Parameter Key Value
PARAM_VALUE 1 rx_ring 4096-ptr_max
PARAM_VALUE 2 used_list 8129403680698617856
PARAM_VALUE 2 used_list->next 8129403680698617856
PARAM_VALUE 2 used_list->prev 4096-ptr_max
PARAM_VALUE 3 req_entries s32min-(-1),1-s32max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 rcu_read
HALF_LOCKED2 &ni->dev_lock

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

Type Parameter Key Value
PARAM_VALUE 0 dp->hal->hal_params->rx_buf_rbm 6,8
PARAM_VALUE 1 rx_ring 3152,4096-ptr_max
PARAM_VALUE 2 used_list 4096-ptr_max
PARAM_VALUE 3 req_entries s32min-(-1),1-s32max
BUF_SIZE 1 rx_ring 48
DATA_SOURCE 0 dp r ath12k_dp_hw_grp_to_dp
PARAM_COMPARE 0 &dp->rx_refill_buf_ring == $1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 rcu_read

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

Type Parameter Key Value
PARAM_VALUE 0 dp->hal->hal_params->rx_buf_rbm 6,8
PARAM_VALUE 0 dp->hw_params->hw_ops 4096-ptr_max
PARAM_VALUE 1 rx_ring 4096-ptr_max
PARAM_VALUE 2 used_list 4096-ptr_max
PARAM_VALUE 3 req_entries s32min-(-1),1-s32max
BUF_SIZE 1 rx_ring 48
DATA_SOURCE 0 dp r ath12k_dp_hw_grp_to_dp
PARAM_COMPARE 0 &dp->rx_refill_buf_ring == $1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

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

Type Parameter Key Value
PARAM_VALUE 0 dp 4096-ptr_max
PARAM_VALUE 0 dp->ab->drv_priv->mhi_ctrl->mhi_dev->mhi_cntrl->cntrl_dev->power.deferred_resume 0-1
PARAM_VALUE 0 dp->ab->drv_priv->mhi_ctrl->mhi_dev->mhi_cntrl->cntrl_dev->power.request 0-4
PARAM_VALUE 0 dp->ab->drv_priv->mhi_ctrl->mhi_dev->mhi_cntrl->cntrl_dev->power.request_pending 0-1
PARAM_VALUE 0 dp->ab->drv_priv->mhi_ctrl->mhi_dev->mhi_cntrl->cntrl_dev->power.runtime_error s32min-(-17),(-15)-(-14),(-12),(-10)-s32max
PARAM_VALUE 0 dp->ab->drv_priv->mhi_ctrl->mhi_dev->mhi_cntrl->cntrl_dev->power.runtime_status s32min-s32max
PARAM_VALUE 0 dp->ab->drv_priv->mhi_ctrl->mhi_dev->mhi_cntrl->cntrl_dev->power.wakeirq->status 0-4294967295
PARAM_VALUE 0 dp->ab->drv_priv->mhi_ctrl->mhi_dev->mhi_cntrl->dev_wake.counter s32min-s32max
PARAM_VALUE 0 dp->ab->drv_priv->mhi_ctrl->mhi_dev->mhi_cntrl->pm_lock.dep_map->name 0-255
PARAM_VALUE 0 dp->ab->drv_priv->mhi_ctrl->mhi_dev->mhi_cntrl->wlock.rlock.dep_map->name 0-255
PARAM_VALUE 0 dp->ag 4096-ptr_max
PARAM_VALUE 0 dp->hal->hal_params->rx_buf_rbm 6,8
PARAM_VALUE 0 dp->hal->srng_list 4096-ptr_max
PARAM_VALUE 0 dp->hw_params 4096-ptr_max
PARAM_VALUE 0 dp->hw_params->ring_mask 4096-ptr_max
PARAM_VALUE 0 dp->hw_params->ring_mask->rx_err 4096-ptr_max
PARAM_VALUE 0 dp->hw_params->ring_mask->rx_wbm_rel 4096-ptr_max
PARAM_VALUE 0 dp->hw_params->ring_mask->tx 4096-ptr_max
PARAM_VALUE 0 dp->ops 4096-ptr_max
PARAM_VALUE 1 rx_ring 4096-ptr_max
PARAM_VALUE 2 used_list 4096-ptr_max
PARAM_VALUE 3 req_entries s32min-(-1),1-s32max
BUF_SIZE 1 rx_ring 48
DATA_SOURCE 0 dp $0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 rcu_read

drivers/net/wireless/ath/ath12k/wifi7/dp.c ath12k_wifi7_dp_service_srng() -> ath12k_dp_rx_bufs_replenish()

Type Parameter Key Value
PARAM_VALUE 0 dp 4096-ptr_max
PARAM_VALUE 0 dp->hal->hal_params->rx_buf_rbm 6,8
PARAM_VALUE 0 dp->hw_params 4096-ptr_max
PARAM_VALUE 0 dp->hw_params->hw_ops 4096-ptr_max
PARAM_VALUE 0 dp->hw_params->num_rxdma_per_pdev 1-2
PARAM_VALUE 0 dp->hw_params->ring_mask 4096-ptr_max
PARAM_VALUE 0 dp->hw_params->ring_mask->host2rxdma 4096-ptr_max
PARAM_VALUE 0 dp->hw_params->ring_mask->reo_status 4096-ptr_max
PARAM_VALUE 0 dp->hw_params->ring_mask->rx 4096-ptr_max
PARAM_VALUE 0 dp->hw_params->ring_mask->rx_err 4096-ptr_max
PARAM_VALUE 0 dp->hw_params->ring_mask->rx_mon_dest 4096-ptr_max
PARAM_VALUE 0 dp->hw_params->ring_mask->rx_mon_status 4096-ptr_max
PARAM_VALUE 0 dp->hw_params->ring_mask->rx_wbm_rel 4096-ptr_max
PARAM_VALUE 0 dp->hw_params->ring_mask->tx 4096-ptr_max
PARAM_VALUE 0 dp->hw_params->ring_mask->tx_mon_dest 4096-ptr_max
PARAM_VALUE 0 dp->ops 4096-ptr_max
PARAM_VALUE 1 rx_ring 4096-ptr_max
PARAM_VALUE 2 used_list 607971814168625152
PARAM_VALUE 2 used_list->next 607971814168625152
PARAM_VALUE 2 used_list->prev 607971814168625152
PARAM_VALUE 3 req_entries 0
BUF_SIZE 1 rx_ring 48
DATA_SOURCE 0 dp $0
PARAM_COMPARE 0 &dp->rx_refill_buf_ring == $1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &ni->dev_lock
HALF_LOCKED2 bh
HALF_LOCKED2 rcu_read