Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/net/wireless/ti/wlcore/ps.c wl12xx_ps_link_start() -> wl1271_ps_filter_frames()

Type Parameter Key Value
PARAM_VALUE 0 wl 4096-ptr_max
PARAM_VALUE 0 wl->active_link_count 2-s32max
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->links 4096-ptr_max
PARAM_VALUE 0 wl->mutex.first_waiter->list.prev->next 5159360019465732096
PARAM_VALUE 0 wl->ops 4096-ptr_max
PARAM_VALUE 0 wl->ops->convert_fw_status 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 4096-ptr_max
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_allocated_pkts 0-4294967295
PARAM_VALUE 0 *wl->tx_pkts_freed 0-4294967295
PARAM_VALUE 1 hlid 0-254
CAPPED_DATA 1 hlid 1
DATA_SOURCE 0 wl $0
DATA_SOURCE 1 hlid $2
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 0 &wl->mutex
TYPE_LOCK (struct wl1271)->mutex