Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/net/wireless/ath/ath9k/xmit.c ath_drain_txq_list() -> ath_tx_return_buffer()

Type Parameter Key Value
PARAM_VALUE 0 sc 4096-ptr_max
PARAM_VALUE 0 sc->dev->dma_io_tlb_mem->can_grow 0-1
PARAM_VALUE 0 sc->sc_ah 4096-ptr_max
PARAM_VALUE 0 sc->sc_ah->curchan->channelFlags 0-5,8-9,24-25,40-41
PARAM_VALUE 0 *sc->sc_ah->caldata->num_measures 0-4294967295
PARAM_VALUE 0 *sc->sc_ah->originalGain 0-4294967295
PARAM_VALUE 1 bf 4096-ptr_max
PARAM_VALUE 1 bf->bf_state.stale 1
BUF_SIZE 0 sc s32min-(-1),1-s32max
BUF_SIZE 0 sc s32min-(-1),1-s32max
BUF_SIZE 0 sc->tx99_skb (-1),1200
DATA_SOURCE 0 sc $0
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HOST_DATA 0 sc->cur_chan->last_beacon 0-u32max
HOST_DATA 0 sc->sc_ah->ani.iniDef.cycpwrThr1 0-127[c]
HOST_DATA 0 sc->sc_ah->ani.iniDef.cycpwrThr1Ext 0-127[c]
HOST_DATA 0 sc->sc_ah->ani.iniDef.firstep 0-63[c]
HOST_DATA 0 sc->sc_ah->ani.iniDef.firstepLow 0-63[c]
HOST_DATA 0 sc->sc_ah->ani.iniDef.m1Thresh 0-127[c]
HOST_DATA 0 sc->sc_ah->ani.iniDef.m1ThreshExt 0-127[c]
HOST_DATA 0 sc->sc_ah->ani.iniDef.m1ThreshLow 0-127[c]
HOST_DATA 0 sc->sc_ah->ani.iniDef.m1ThreshLowExt 0-127[c]
HOST_DATA 0 sc->sc_ah->ani.iniDef.m2CountThr 0-31[c]
HOST_DATA 0 sc->sc_ah->ani.iniDef.m2CountThrLow 0-63[c]
HOST_DATA 0 sc->sc_ah->ani.iniDef.m2Thresh 0-127[c]
HOST_DATA 0 sc->sc_ah->ani.iniDef.m2ThreshExt 0-127[c]
HOST_DATA 0 sc->sc_ah->ani.iniDef.m2ThreshLow 0-127[c]
HOST_DATA 0 sc->sc_ah->ani.iniDef.m2ThreshLowExt 0-127[c]
HOST_DATA 0 sc->sc_ah->btcoex_hw.aic.aic_cal_start_time 0-u32max
HOST_DATA 0 sc->sc_ah->btcoex_hw.mci.gpm_idx 0-u16max[c]
HOST_DATA 0 sc->sc_ah->btcoex_hw.mci.last_recovery 0-u32max
HOST_DATA 0 sc->sc_ah->msi_reg 0-u32max
HOST_DATA 0 sc->sc_ah->pacal_info.prev_offset 1-127[c]
HOST_DATA 0 sc->sc_ah->tx_trig_level 0-63[c]
HOST_DATA 0 sc->sched.next_tbtt 0-u32max
HOST_DATA 1 bf->bf_mpdu->csum_offset 0-u16max
HOST_DATA 1 bf->bf_mpdu->data_len 0-1[c]
HOST_DATA 1 bf->bf_mpdu->len 14-u32max[c]
HOST_DATA 1 bf->bf_mpdu->tstamp 500000002-4294967299794967295[c]
USER_DATA 1 bf->bf_mpdu->data->duration_id 0-u16max[u]
USER_DATA 1 bf->bf_mpdu->data->frame_control 0-u16max[u]
USER_DATA 1 bf->bf_mpdu->data->seq_ctrl 0-u16max[u]
USER_PTR 0 sc->tx99_skb->data
LOCK2 &txq->axq_lock
LOCK2 bh
LOCK2 rcu_read
HALF_LOCKED2 0 &sc->mutex
HALF_LOCKED2 0 &sc->sc_pcu_lock
TYPE_LOCK (struct ath_txq)->axq_lock

drivers/net/wireless/ath/ath9k/xmit.c ath_tx_edma_tasklet() -> ath_tx_return_buffer()

Type Parameter Key Value
PARAM_VALUE 0 sc 4096-ptr_max
PARAM_VALUE 0 sc->debug.stats.txstats 4096-ptr_max
PARAM_VALUE 0 sc->gtt_cnt 0
PARAM_VALUE 0 sc->intr_lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 sc->intrstatus 0
PARAM_VALUE 0 sc->sc_ah 4096-ptr_max
PARAM_VALUE 0 sc->sc_ah->btcoex_hw.aic.aic_enabled 1
PARAM_VALUE 0 sc->sc_ah->btcoex_hw.mci.bt_state 0-1
PARAM_VALUE 0 sc->sc_ah->btcoex_hw.mci.ready 0
PARAM_VALUE 0 sc->sc_ah->caps.hw_caps 16-u32max
PARAM_VALUE 0 sc->sc_ah->chip_fullsleep 1
PARAM_VALUE 0 sc->sc_ah->config.hw_hang_checks 1-u16max
PARAM_VALUE 0 sc->sc_ah->power_mode 0
PARAM_VALUE 0 sc->sc_ah->tx_trig_level 0-64
PARAM_VALUE 0 sc->sc_pcu_lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 sc->sc_pm_lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 sc->sleep_timer.entry.pprev 0
PARAM_VALUE 0 sc->tx.txq 4096-ptr_max
PARAM_VALUE 0 *sc->sc_ah->btcoex_hw.aic->aic_sram 0-4294967295
PARAM_VALUE 1 bf 4096-ptr_max
PARAM_VALUE 1 bf->bf_state.stale 1
DATA_SOURCE 0 sc $0
PREEMPT_ADD <- disables preempt
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HOST_DATA 0 sc->cur_chan->last_beacon 0-u32max
HOST_DATA 0 sc->sc_ah->ani.iniDef.cycpwrThr1 0-127[c]
HOST_DATA 0 sc->sc_ah->ani.iniDef.cycpwrThr1Ext 0-127[c]
HOST_DATA 0 sc->sc_ah->ani.iniDef.firstep 0-63[c]
HOST_DATA 0 sc->sc_ah->ani.iniDef.firstepLow 0-63[c]
HOST_DATA 0 sc->sc_ah->ani.iniDef.m1Thresh 0-127[c]
HOST_DATA 0 sc->sc_ah->ani.iniDef.m1ThreshExt 0-127[c]
HOST_DATA 0 sc->sc_ah->ani.iniDef.m1ThreshLow 0-127[c]
HOST_DATA 0 sc->sc_ah->ani.iniDef.m1ThreshLowExt 0-127[c]
HOST_DATA 0 sc->sc_ah->ani.iniDef.m2CountThr 0-31[c]
HOST_DATA 0 sc->sc_ah->ani.iniDef.m2CountThrLow 0-63[c]
HOST_DATA 0 sc->sc_ah->ani.iniDef.m2Thresh 0-127[c]
HOST_DATA 0 sc->sc_ah->ani.iniDef.m2ThreshExt 0-127[c]
HOST_DATA 0 sc->sc_ah->ani.iniDef.m2ThreshLow 0-127[c]
HOST_DATA 0 sc->sc_ah->ani.iniDef.m2ThreshLowExt 0-127[c]
HOST_DATA 0 sc->sc_ah->btcoex_hw.aic.aic_cal_start_time 0-u32max
HOST_DATA 0 sc->sc_ah->btcoex_hw.mci.gpm_idx 0-u16max[c]
HOST_DATA 0 sc->sc_ah->btcoex_hw.mci.last_recovery 0-u32max
HOST_DATA 0 sc->sc_ah->msi_reg 0-u32max
HOST_DATA 0 sc->sc_ah->pacal_info.prev_offset 1-127[c]
HOST_DATA 0 sc->sc_ah->tx_trig_level 0-63[c]
HOST_DATA 0 sc->sched.next_tbtt 0-u32max
HOST_DATA 1 bf->bf_mpdu->csum_offset 0-u16max
HOST_DATA 1 bf->bf_mpdu->data_len 0-1[c]
HOST_DATA 1 bf->bf_mpdu->len 14-u32max[c]
HOST_DATA 1 bf->bf_mpdu->tstamp 500000002-4294967299794967295[c]
USER_DATA 1 bf->bf_mpdu->data->duration_id 0-u16max[u]
USER_DATA 1 bf->bf_mpdu->data->frame_control 0-u16max[u]
USER_DATA 1 bf->bf_mpdu->data->seq_ctrl 0-u16max[u]
LOCK2 &txq->axq_lock
LOCK2 bh
LOCK2 rcu_read
LOCK2 0 &sc->sc_pcu_lock
TYPE_LOCK (struct ath_softc)->sc_pcu_lock
TYPE_LOCK (struct ath_txq)->axq_lock

drivers/net/wireless/ath/ath9k/xmit.c ath_tx_processq() -> ath_tx_return_buffer()

Type Parameter Key Value
PARAM_VALUE 0 sc 4096-ptr_max
PARAM_VALUE 0 sc->debug.stats.txstats 4096-ptr_max
PARAM_VALUE 0 sc->intr_lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 sc->intrstatus 0
PARAM_VALUE 0 sc->sc_ah 4096-ptr_max
PARAM_VALUE 0 sc->sc_ah->btcoex_hw.mci.ready 0
PARAM_VALUE 0 sc->sc_ah->chip_fullsleep 1
PARAM_VALUE 0 sc->sc_ah->config.hw_hang_checks 1-u16max
PARAM_VALUE 0 sc->sc_ah->power_mode 0
PARAM_VALUE 0 sc->sc_pcu_lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 sc->sc_pm_lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 sc->sleep_timer.entry.pprev 0
PARAM_VALUE 0 sc->sleep_timer.flags 0-4194302
PARAM_VALUE 0 sc->sleep_timer.lockdep_map->name 0-255
PARAM_VALUE 0 sc->tx.txq 4096-ptr_max
PARAM_VALUE 0 *sc->sc_ah->btcoex_hw.aic->aic_sram 0-4294967295
PARAM_VALUE 1 bf 4096-ptr_max
PARAM_VALUE 1 bf->bf_state.stale 1
DATA_SOURCE 0 sc $0
PREEMPT_ADD <- disables preempt
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HOST_DATA 0 sc->cur_chan->last_beacon 0-u32max
HOST_DATA 0 sc->sc_ah->ani.iniDef.cycpwrThr1 0-127[c]
HOST_DATA 0 sc->sc_ah->ani.iniDef.cycpwrThr1Ext 0-127[c]
HOST_DATA 0 sc->sc_ah->ani.iniDef.firstep 0-63[c]
HOST_DATA 0 sc->sc_ah->ani.iniDef.firstepLow 0-63[c]
HOST_DATA 0 sc->sc_ah->ani.iniDef.m1Thresh 0-127[c]
HOST_DATA 0 sc->sc_ah->ani.iniDef.m1ThreshExt 0-127[c]
HOST_DATA 0 sc->sc_ah->ani.iniDef.m1ThreshLow 0-127[c]
HOST_DATA 0 sc->sc_ah->ani.iniDef.m1ThreshLowExt 0-127[c]
HOST_DATA 0 sc->sc_ah->ani.iniDef.m2CountThr 0-31[c]
HOST_DATA 0 sc->sc_ah->ani.iniDef.m2CountThrLow 0-63[c]
HOST_DATA 0 sc->sc_ah->ani.iniDef.m2Thresh 0-127[c]
HOST_DATA 0 sc->sc_ah->ani.iniDef.m2ThreshExt 0-127[c]
HOST_DATA 0 sc->sc_ah->ani.iniDef.m2ThreshLow 0-127[c]
HOST_DATA 0 sc->sc_ah->ani.iniDef.m2ThreshLowExt 0-127[c]
HOST_DATA 0 sc->sc_ah->btcoex_hw.aic.aic_cal_start_time 0-u32max
HOST_DATA 0 sc->sc_ah->btcoex_hw.mci.gpm_idx 0-u16max[c]
HOST_DATA 0 sc->sc_ah->btcoex_hw.mci.last_recovery 0-u32max
HOST_DATA 0 sc->sc_ah->msi_reg 0-u32max
HOST_DATA 0 sc->sc_ah->pacal_info.prev_offset 1-127[c]
HOST_DATA 0 sc->sc_ah->tx_trig_level 0-63[c]
HOST_DATA 0 sc->sched.next_tbtt 0-u32max
LOCK2 &txq->axq_lock
LOCK2 bh
LOCK2 rcu_read
LOCK2 0 &sc->sc_pcu_lock
TYPE_LOCK (struct ath_softc)->sc_pcu_lock
TYPE_LOCK (struct ath_txq)->axq_lock

drivers/net/wireless/ath/ath9k/xmit.c ath_tx_setup_buffer() -> ath_tx_return_buffer()

Type Parameter Key Value
PARAM_VALUE 0 sc 4096-ptr_max
PARAM_VALUE 0 sc->dev->dma_io_tlb_mem->can_grow 0-1
PARAM_VALUE 0 sc->sc_ah->curchan->channelFlags 0-5,8-9,24-25,40-41
PARAM_VALUE 0 sc->tx.txbuflock.rlock.dep_map->name 0-255
PARAM_VALUE 0 *sc->sc_ah->caldata->num_measures 0-4294967295
PARAM_VALUE 0 *sc->sc_ah->originalGain 0-4294967295
PARAM_VALUE 1 bf 4096-ptr_max
PARAM_VALUE 1 bf->bf_buf_addr 0
PARAM_VALUE 1 bf->bf_lastbf 0
PARAM_VALUE 1 bf->bf_mpdu 0
PARAM_VALUE 1 bf->bf_next 0
BUF_SIZE 0 sc s32min-(-1),1-s32max
BUF_SIZE 0 sc s32min-(-1),1-s32max
BUF_SIZE 0 sc->tx99_skb (-1),1200
DATA_SOURCE 0 sc $0
DATA_SOURCE 1 bf r ath_tx_get_buffer
PARAM_COMPARE 0 &sc->tx.txbuf != $0->tx.txbuf.next
MEM_ZERO 1 &bf->bf_state
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HOST_DATA 0 sc->cur_chan->last_beacon 0-u32max
HOST_DATA 0 sc->dfs_detector->last_pulse_ts 0-u64max
HOST_DATA 0 sc->dfs_prev_pulse_ts 0-u64max
HOST_DATA 0 sc->sc_ah->ani.iniDef.cycpwrThr1 0-127[c]
HOST_DATA 0 sc->sc_ah->ani.iniDef.cycpwrThr1Ext 0-127[c]
HOST_DATA 0 sc->sc_ah->ani.iniDef.firstep 0-63[c]
HOST_DATA 0 sc->sc_ah->ani.iniDef.firstepLow 0-63[c]
HOST_DATA 0 sc->sc_ah->ani.iniDef.m1Thresh 0-127[c]
HOST_DATA 0 sc->sc_ah->ani.iniDef.m1ThreshExt 0-127[c]
HOST_DATA 0 sc->sc_ah->ani.iniDef.m1ThreshLow 0-127[c]
HOST_DATA 0 sc->sc_ah->ani.iniDef.m1ThreshLowExt 0-127[c]
HOST_DATA 0 sc->sc_ah->ani.iniDef.m2CountThr 0-31[c]
HOST_DATA 0 sc->sc_ah->ani.iniDef.m2CountThrLow 0-63[c]
HOST_DATA 0 sc->sc_ah->ani.iniDef.m2Thresh 0-127[c]
HOST_DATA 0 sc->sc_ah->ani.iniDef.m2ThreshExt 0-127[c]
HOST_DATA 0 sc->sc_ah->ani.iniDef.m2ThreshLow 0-127[c]
HOST_DATA 0 sc->sc_ah->ani.iniDef.m2ThreshLowExt 0-127[c]
HOST_DATA 0 sc->sc_ah->btcoex_hw.aic.aic_cal_start_time 0-u32max
HOST_DATA 0 sc->sc_ah->btcoex_hw.mci.gpm_idx 0-u16max[c]
HOST_DATA 0 sc->sc_ah->btcoex_hw.mci.last_recovery 0-u32max
HOST_DATA 0 sc->sc_ah->msi_reg 0-u32max
HOST_DATA 0 sc->sc_ah->pacal_info.prev_offset 1-127[c]
HOST_DATA 0 sc->sc_ah->tx_trig_level 0-63[c]
HOST_DATA 0 sc->sched.next_tbtt 0-u32max
HOST_DATA 1 bf->bf_mpdu->csum_offset 0-u16max
HOST_DATA 1 bf->bf_mpdu->len 14-u32max[c]
HOST_DATA 1 bf->bf_mpdu->tstamp 500000002-4294967299794967295[c]
HOST_DATA 1 bf->bf_mpdu->users.refs.counter s32min-0,2-s32max
NO_OVERFLOW_SIMPLE 0 sc->rx.frag
NO_OVERFLOW_SIMPLE 0 sc->rx.frag->extensions
NO_OVERFLOW_SIMPLE 0 sc->tx.uapsdq->complete_q.prev->next->tail
NO_OVERFLOW_SIMPLE 0 sc->tx.uapsdq->complete_q.prev->tail
NO_OVERFLOW_SIMPLE 1 bf->bf_mpdu->end
NO_OVERFLOW_SIMPLE 1 bf->bf_mpdu->len
NO_OVERFLOW_SIMPLE 1 bf->bf_mpdu->tail
NO_OVERFLOW_SIMPLE 1 bf->bf_mpdu->truesize
USER_PTR 0 sc->tx99_skb->data
USER_PTR 1 bf->bf_mpdu->data
HALF_LOCKED2 &txq->axq_lock
HALF_LOCKED2 bh
HALF_LOCKED2 0 &sc->chan_lock
HALF_LOCKED2 0 &sc->mutex
HALF_LOCKED2 0 &sc->sc_pcu_lock