Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/net/wireless/ti/wlcore/boot.c wlcore_boot_run_firmware() -> wlcore_boot_static_data()

Type Parameter Key Value
PARAM_VALUE 0 wl 4096-ptr_max
PARAM_VALUE 0 wl->ap_event_mask 4096,1048576
PARAM_VALUE 0 wl->buffer_32 4096-ptr_max
PARAM_VALUE 0 wl->dev->driver_data->buffer_cmd 0-2684354559
PARAM_VALUE 0 wl->dev->parent->driver_data->reg->enable_count 0-4294967295
PARAM_VALUE 0 wl->dev->power.wakeirq->status 0-4294967295
PARAM_VALUE 0 wl->event_mask 67104513,4235117569
PARAM_VALUE 0 wl->fw 4096-ptr_max
PARAM_VALUE 0 wl->fw_status 4096-ptr_max
PARAM_VALUE 0 wl->fw_status_len 0-4000000
PARAM_VALUE 0 wl->hw 4096-ptr_max
PARAM_VALUE 0 wl->if_ops 4096-ptr_max
PARAM_VALUE 0 wl->if_ops->power 4096-ptr_max
PARAM_VALUE 0 wl->mbox_ptr 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 4096-ptr_max
PARAM_VALUE 0 wl->ops->hw_init 4096-ptr_max
PARAM_VALUE 0 wl->ops->identify_fw 0
PARAM_VALUE 0 wl->ptable 4096-ptr_max
PARAM_VALUE 0 wl->raw_fw_status 16,4096-ptr_max
PARAM_VALUE 0 wl->rtable 4096-ptr_max
PARAM_VALUE 0 wl->tx_res_if 4096-ptr_max
PARAM_VALUE 0 *wl->chip.fw_ver 0-4294967295
CAPPED_DATA 0 wl->chip.id 1
CAPPED_DATA 0 wl->curr_part.mem.start 1
DATA_SOURCE 0 wl $0
HARD_MAX 0 wl->ap_event_mask 1048576
HARD_MAX 0 wl->event_mask 4235117569
RX_PATH
TASK_NOT_RUNNING
NO_OVERFLOW_SIMPLE 0 wl->cmd_box_addr
NO_OVERFLOW_SIMPLE 0 *wl->buffer_32
LOCK2 0 &wl->mutex
HALF_LOCKED2 global &rtnl_mutex
TYPE_LOCK (struct wl1271)->mutex