Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/net/wireless/ath/carl9170/tx.c carl9170_op_tx() -> carl9170_tx()

Type Parameter Key Value
PARAM_VALUE 0 ar 4096-ptr_max
PARAM_VALUE 0 ar->hw 4096-ptr_max
PARAM_VALUE 0 ar->state 3-u32max
PARAM_VALUE 0 ar->tx_pending 4096-ptr_max
PARAM_VALUE 0 ar->tx_stats_lock.rlock.dep_map->name 0-255
CAPPED_DATA 0 ar->hw->queues 1
FUZZY_MAX 0 ar->state 3
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &local->handle_wake_tx_queue_lock
HALF_LOCKED2 rcu_read

drivers/net/wireless/ath/carl9170/tx.c carl9170_tx_scheduler() -> carl9170_tx()

Type Parameter Key Value
PARAM_VALUE 0 ar 4096-ptr_max
PARAM_VALUE 0 ar->beacon_lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 ar->cmd_lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 ar->cmd_wait.wait.lock.dep_map->name 0-255
PARAM_VALUE 0 ar->cmd_wait.wait.lock.owner (-1)
PARAM_VALUE 0 ar->cmd_wait.wait.lock.owner_cpu u32max
PARAM_VALUE 0 ar->fw_boot_wait.wait.lock.dep_map->name 0-255
PARAM_VALUE 0 ar->fw_boot_wait.wait.lock.owner (-1)
PARAM_VALUE 0 ar->fw_boot_wait.wait.lock.owner_cpu u32max
PARAM_VALUE 0 ar->fw_boot_wait.wait.lock.raw_lock.val.counter 0-s32max
PARAM_VALUE 0 ar->ps_work.entry.next->prev 4096-ptr_max
PARAM_VALUE 0 ar->rx_anch.urb_list.prev 40,4096-ptr_max
PARAM_VALUE 0 ar->rx_anch.urb_list.prev->next 40,4096-ptr_max
PARAM_VALUE 0 ar->rx_anch.urb_list.prev->next->next 4096-ptr_max
PARAM_VALUE 0 ar->rx_pool.urb_list.prev 40,4096-ptr_max
PARAM_VALUE 0 ar->rx_pool.urb_list.prev->next 40,4096-ptr_max
PARAM_VALUE 0 ar->rx_pool.urb_list.prev->next->next 4096-ptr_max
PARAM_VALUE 0 ar->state 3-u32max
PARAM_VALUE 0 ar->state_lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 ar->tx_ampdu_schedule 0
PARAM_VALUE 0 ar->tx_anch.urb_list.prev->next 40,4096-ptr_max
PARAM_VALUE 0 ar->tx_anch.urb_list.prev->next->next 4096-ptr_max
PARAM_VALUE 0 ar->tx_cmd.urb_list.prev->next 40,4096-ptr_max
PARAM_VALUE 0 ar->tx_cmd.urb_list.prev->next->next 4096-ptr_max
PARAM_VALUE 0 ar->tx_flush.wait.lock.owner (-1)
PARAM_VALUE 0 ar->tx_flush.wait.lock.owner_cpu u32max
PARAM_VALUE 0 ar->tx_schedule 1
PARAM_VALUE 0 ar->wps.pbc->grab->private->inactivity_work.cpu s32min-s32max
PARAM_VALUE 0 ar->wps.pbc->grab->private->inactivity_work.timer.flags 0-4294967295
PARAM_VALUE 0 ar->wps.pbc->grab->private->inactivity_work.timer.is_hard 0-1
PARAM_VALUE 0 ar->wps.pbc->grab->private->inactivity_work.timer.is_lazy 0-1
PARAM_VALUE 0 ar->wps.pbc->grab->private->inactivity_work.timer.is_queued 0-1
PARAM_VALUE 0 ar->wps.pbc->grab->private->inactivity_work.timer.is_soft 0-1
PARAM_VALUE 0 ar->wps.pbc->mt->slot s32min-s32max
PARAM_VALUE 0 *ar->wps.pbc->rep s32min-s32max
DATA_SOURCE 0 ar $0
FUZZY_MAX 0 ar->state 3
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 bh