Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/net/wireless/ti/wlcore/main.c wl1271_free_sta() -> wlcore_save_freed_pkts_addr()

Type Parameter Key Value
PARAM_VALUE 0 wl 4096-ptr_max
PARAM_VALUE 0 wl->dev->power.wakeirq->status 0-4294967295
PARAM_VALUE 0 wl->links 4096-ptr_max
PARAM_VALUE 0 wl->mutex.dep_map->name 0-255
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.wait_lock.dep_map->name 0-255
PARAM_VALUE 0 wl->ops->set_rx_csum 0,5507814151246364672
PARAM_VALUE 1 wlvif 4096-ptr_max
PARAM_VALUE 1 wlvif->ap.sta_hlid_map 4096-ptr_max
PARAM_VALUE 1 wlvif->bss_type 3
BUF_SIZE 1 wlvif 1408
BUF_SIZE 1 wlvif 1408
BUF_SIZE 3 addr 6
CAPPED_DATA 1 wlvif 1
DATA_SOURCE 0 wl $0
DATA_SOURCE 1 wlvif $1
DATA_SOURCE 2 hlid $2
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 0 &wl->mutex
TYPE_LOCK (struct wl1271)->mutex

drivers/net/wireless/ti/wlcore/main.c wl1271_recovery_work() -> wlcore_save_freed_pkts_addr()

Type Parameter Key Value
PARAM_VALUE 0 wl 4096-ptr_max
PARAM_VALUE 0 wl->conf.recovery.no_recovery 0
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->hw 4096-ptr_max
PARAM_VALUE 0 wl->hw->queues 0-64
PARAM_VALUE 0 wl->mutex.dep_map->name 0-255
PARAM_VALUE 0 wl->mutex.first_waiter->list.prev->next 5159360019465732096
PARAM_VALUE 0 wl->mutex.wait_lock.dep_map->name 0-255
PARAM_VALUE 0 wl->plt 0
PARAM_VALUE 0 wl->wl_lock.rlock.dep_map->name 0-255
PARAM_VALUE 1 wlvif 4096-ptr_max
PARAM_VALUE 1 wlvif->bss_type 2
BUF_SIZE 3 addr 6
CAPPED_DATA 0 wl->hw->queues 1
CAPPED_DATA 0 &wl->mutex 1
CAPPED_DATA 0 &wl->wlvif_list 1
PARAM_COMPARE 0 &wl->wlvif_list != $0->wlvif_list.next
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
NO_OVERFLOW_SIMPLE 0 *wl->buffer_32
LOCK2 0 &wl->mutex
TYPE_LOCK (struct wl1271)->mutex