Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/net/wireless/ti/wlcore/boot.c wlcore_boot_upload_firmware() -> wl1271_boot_upload_firmware_chunk()

Type Parameter Key Value
PARAM_VALUE 0 wl 4096-ptr_max
PARAM_VALUE 0 wl->buffer_32 4096-ptr_max
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->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->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->raw_fw_status 16,4096-ptr_max
PARAM_VALUE 0 wl->tx_res_if 4096-ptr_max
PARAM_VALUE 0 *wl->chip.fw_ver 0-4294967295
PARAM_VALUE 2 fw_data_len 0-300000
DATA_SOURCE 0 wl $0
DATA_SOURCE 2 fw_data_len r __be32_to_cpup
DATA_SOURCE 3 dest r __be32_to_cpup
FUZZY_MAX 2 fw_data_len 300000
HARD_MAX 2 fw_data_len 300000
RX_PATH
TASK_NOT_RUNNING
LOCK2 0 &wl->mutex
HALF_LOCKED2 global &rtnl_mutex
TYPE_LOCK (struct wl1271)->mutex