Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/net/wireless/ti/wlcore/tx.c wlcore_tx_complete() -> wl1271_tx_complete_packet()

Type Parameter Key Value
PARAM_VALUE 0 wl 4096-ptr_max
PARAM_VALUE 0 wl->buffer_32 4096-ptr_max
PARAM_VALUE 0 wl->dev 4096-ptr_max
PARAM_VALUE 0 wl->dev->bus 0,4096-ptr_max
PARAM_VALUE 0 wl->dev->class 0,4096-ptr_max
PARAM_VALUE 0 wl->dev->driver_data->buffer_cmd 0-2684354559
PARAM_VALUE 0 wl->dev->power.request 0-4
PARAM_VALUE 0 wl->dev->power.runtime_error s32min-(-17),(-15)-(-14),(-12),(-10)-s32max
PARAM_VALUE 0 wl->dev->power.wakeirq 0,4096-ptr_max
PARAM_VALUE 0 wl->dev->power.wakeirq->status 0-4294967295
PARAM_VALUE 0 wl->dev->type 0,4096-ptr_max
PARAM_VALUE 0 wl->fw_fast_lnk_map 0-u32max
PARAM_VALUE 0 wl->fw_status 4096-ptr_max
PARAM_VALUE 0 wl->fw_status->counters.tx_released_pkts 4096-ptr_max
PARAM_VALUE 0 wl->fw_status->priv 4096-ptr_max
PARAM_VALUE 0 wl->mutex.dep_map->name 0-255
PARAM_VALUE 0 wl->mutex.first_waiter 0,4096-ptr_max
PARAM_VALUE 0 wl->mutex.first_waiter->list.prev->next 5159360019465732096
PARAM_VALUE 0 wl->mutex.first_waiter->list.prev->prev 5159360019465732096
PARAM_VALUE 0 wl->mutex.osq.tail.counter 0-s32max
PARAM_VALUE 0 wl->mutex.wait_lock.dep_map->name 0-255
PARAM_VALUE 0 wl->mutex.wait_lock.owner (-1)
PARAM_VALUE 0 wl->mutex.wait_lock.owner_cpu u32max
PARAM_VALUE 0 wl->num_links 0-64
PARAM_VALUE 0 wl->ops 4096-ptr_max
PARAM_VALUE 0 wl->ops->tx_delayed_compl 1232953524554362880
PARAM_VALUE 0 wl->rtable 4096-ptr_max
PARAM_VALUE 0 wl->scan_complete_work.wq->dfl_pwq 0-s64max
PARAM_VALUE 0 wl->scan_complete_work.wq->saved_max_active s32min-s32max
PARAM_VALUE 0 wl->scan_complete_work.wq->saved_min_active s32min-s32max
PARAM_VALUE 0 wl->target_mem_map 4096-ptr_max
PARAM_VALUE 0 wl->tx_res_if 4096-ptr_max
PARAM_VALUE 0 wl->tx_res_if->tx_results_queue 4096-ptr_max
PARAM_VALUE 0 *wl->tx_allocated_pkts 0-4294967295
PARAM_VALUE 0 *wl->tx_pkts_freed 0-4294967295
PARAM_VALUE 0 *wl->tx_queue_count s32min-s32max
PARAM_VALUE 1 result 4096-ptr_max
CAPPED_DATA 0 wl->curr_part.mem.start 1
CAPPED_DATA 0 wl->num_links 1
DATA_SOURCE 0 wl $0
TASK_NOT_RUNNING
NOCHECK_CALL
NO_OVERFLOW_SIMPLE 0 *wl->tx_res_if
LOCK2 0 &wl->mutex
HALF_LOCKED2 global &rtnl_mutex
TYPE_LOCK (struct wl1271)->mutex