Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/net/wireless/ath/ath11k/dp_rx.c ath11k_dp_process_rx() -> ath11k_dp_rx_process_received_packets()

Type Parameter Key Value
PARAM_VALUE 0 ab 4096-ptr_max
PARAM_VALUE 0 ab->dp.reo_dst_ring 4096-ptr_max
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.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->hal.srng_list 4096-ptr_max
PARAM_VALUE 0 ab->hw_params.hal_params 4096-ptr_max
PARAM_VALUE 0 ab->hw_params.hal_params->num_tx_rings 1,3
PARAM_VALUE 0 ab->hw_params.hal_params->tcl2wbm_rbm_map 4096-ptr_max
PARAM_VALUE 0 ab->hw_params.ring_mask 4096-ptr_max
PARAM_VALUE 0 ab->hw_params.ring_mask->rx 4096-ptr_max
PARAM_VALUE 0 ab->hw_params.ring_mask->rx_err 4096-ptr_max
PARAM_VALUE 0 ab->hw_params.ring_mask->rx_wbm_rel 4096-ptr_max
PARAM_VALUE 0 ab->hw_params.ring_mask->tx 4096-ptr_max
PARAM_VALUE 0 ab->num_radios 1-s32max
PARAM_VALUE 0 ab->pci.ops->release 0,4096-ptr_max
PARAM_VALUE 0 ab->pci.ops->wakeup 0,4096-ptr_max
PARAM_VALUE 0 ab->pdevs 4096-ptr_max
PARAM_VALUE 1 napi 4096-ptr_max
PARAM_VALUE 2 msdu_list 4096-ptr_max
PARAM_VALUE 3 mac_id 0-s32max
BUF_SIZE 1 napi 560
CAPPED_DATA 0 ab->hw_params.hal_params->num_tx_rings 1
CAPPED_DATA 3 mac_id 1
DATA_SOURCE 0 ab $0
DATA_SOURCE 1 napi $2
FUZZY_MAX 0 ab->hw_params.hal_params->num_tx_rings 1
PARAM_COMPARE 0 ab->num_radios > $3
PARAM_COMPARE 3 mac_id < $0->num_radios
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 3 mac_id unit_array_size
HALF_LOCKED2 &ni->dev_lock
HALF_LOCKED2 rcu_read