Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/net/wireless/ti/wlcore/tx.c wlcore_hw_set_tx_desc_data_len() -> (struct wlcore_ops)->set_tx_desc_data_len()

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_tx_desc_csum 4096-ptr_max
PARAM_VALUE 0 wl->ops->set_tx_desc_data_len 3374194891459067904,6765290751002865664
PARAM_VALUE 0 wl->ops->tx_delayed_compl 0,1232953524554362880
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->tx_watchdog_work->timer->entry.pprev 4096-ptr_max
PARAM_VALUE 0 wl->tx_watchdog_work.work.entry.next->next 1-u64max
PARAM_VALUE 0 wl->tx_watchdog_work.work.entry.prev->next 1-u64max
PARAM_VALUE 0 wl->tx_watchdog_work.work.entry.prev->prev 1-u64max
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 desc 4096-ptr_max
PARAM_VALUE 1 desc->hlid 0-254
PARAM_VALUE 1 desc->life_time 2000,8000
PARAM_VALUE 1 desc->tx_attr 0-8191,8220,8252-16380,16384-24575,24604,24636-32764,32768-40959,40988,41020-49148,49152-57343,57372,57404-65532
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->life_time 2000,8000
PARAM_VALUE 2 skb->data->tx_attr 0-8191,8220,8252-16380,16384-24575,24604,24636-32764,32768-40959,40988,41020-49148,49152-57343,57372,57404-65532
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 desc 1-s32max
BUF_SIZE 1 desc 1-s32max
CAPPED_DATA 0 wl->num_tx_desc 1
CAPPED_DATA 2 skb 1
DATA_SOURCE 0 wl $0
DATA_SOURCE 1 desc $1
DATA_SOURCE 2 skb $2
FUZZY_MAX 1 desc->life_time 8000
FUZZY_MAX 2 skb->data->life_time 8000
CONTAINER 0 -88-10216+0 $(-1)
BIT_INFO 0 wl->quirks 0x0,0xffffffff
BIT_INFO 1 desc->life_time 0x740,0xffffffffffffffff
BIT_INFO 1 desc->tx_attr 0x0,0xfffc
HARD_MAX 1 desc->life_time 8000
HARD_MAX 2 skb->data->life_time 8000
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA 1 desc->id 0-255[u]
USER_DATA 1 desc->length 0-u16max[u]
USER_DATA 1 desc->wl127x_mem.extra_blocks 0-255[u]
USER_DATA 1 desc->wl127x_mem.total_mem_blocks 0-255[u]
USER_DATA 1 desc->wl128x_mem.extra_bytes 0-255[u]
USER_DATA 1 desc->wl128x_mem.total_mem_blocks 0-255[u]
USER_DATA 1 desc->wl18xx_mem.ctrl 0-255[u]
USER_DATA 1 desc->wl18xx_mem.total_mem_blocks 0-255[u]
USER_PTR 1 desc
LOCK2 0 &wl->mutex
TYPE_LOCK (struct wl1271)->mutex