Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/net/wireless/ti/wlcore/tx.c wl1271_prepare_tx_frame() -> wl1271_tx_ap_update_inconnection_sta()

Type Parameter Key Value
PARAM_VALUE 0 wl 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->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->mutex.first_waiter->list.prev->next 5159360019465732096
PARAM_VALUE 0 wl->num_tx_desc 1-u32max
PARAM_VALUE 0 wl->ops 4096-ptr_max
PARAM_VALUE 0 wl->ops->pre_pkt_send 0,3217367078932590592
PARAM_VALUE 0 wl->ops->set_rx_csum 0,4096-ptr_max
PARAM_VALUE 0 wl->ops->set_tx_desc_csum 4096-ptr_max
PARAM_VALUE 0 wl->ops->set_tx_desc_data_len 4096-ptr_max
PARAM_VALUE 0 wl->ops->tx_delayed_compl 0,1232953524554362880
PARAM_VALUE 0 wl->tx_watchdog_work->timer->entry.pprev 4096-ptr_max
PARAM_VALUE 0 wl->tx_watchdog_work.timer.entry->pprev 4096-ptr_max
PARAM_VALUE 0 wl->wl_lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 *wl->tx_allocated_pkts 0-4294967295
PARAM_VALUE 0 *wl->tx_frames 0
PARAM_VALUE 0 *wl->tx_pkts_freed 0-4294967295
PARAM_VALUE 1 wlvif 4096-ptr_max
PARAM_VALUE 1 wlvif->bss_type 3
PARAM_VALUE 2 skb 4096-ptr_max
PARAM_VALUE 2 skb->cloned 0
PARAM_VALUE 2 skb->data 4096-ptr_max
PARAM_VALUE 2 skb->data->hlid 0-254
PARAM_VALUE 2 skb->data->length 0-u16max
PARAM_VALUE 2 skb->data->life_time 2000,8000
PARAM_VALUE 2 skb->data->start_time 0-4294967295
PARAM_VALUE 2 skb->data->tid 0-255
PARAM_VALUE 2 skb->data->tx_attr 0-u16max
PARAM_VALUE 2 skb->data->wl128x_mem.extra_bytes 0-255
PARAM_VALUE 2 skb->data->wl12xx_reserved 0-255
PARAM_VALUE 2 skb->data->wl18xx_checksum_data 0-255
PARAM_VALUE 2 skb->data->wl18xx_mem.ctrl 0-128
PARAM_VALUE 2 skb->hdr_len 0
PARAM_VALUE 2 skb->head 1-u64max
PARAM_VALUE 2 skb->head_frag 0
PARAM_VALUE 2 skb->nohdr 0
PARAM_VALUE 2 skb->pp_recycle 0
BUF_SIZE 1 wlvif 0,1408
BUF_SIZE 1 wlvif 0,1408
CAPPED_DATA 0 wl->num_tx_desc 1
CAPPED_DATA 2 skb 1
DATA_SOURCE 0 wl $0
DATA_SOURCE 1 wlvif $1
DATA_SOURCE 2 skb $2
PARAM_COMPARE 2 skb != $0->dummy_packet
PARAM_COMPARE 2 skb != $0->dummy_packet
BIT_INFO 0 wl->quirks 0x0,0xffffffff
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
NO_OVERFLOW_SIMPLE 2 skb->next->data_len
LOCK2 0 &wl->mutex
TYPE_LOCK (struct wl1271)->mutex