Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/net/wireless/ti/wl18xx/main.c wl18xx_set_host_cfg_bitmap() -> wl18xx_acx_host_if_cfg_bitmap()

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->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->ops->set_key 2359428301460566016,6623821385406128128
PARAM_VALUE 0 wl->priv 4096-ptr_max
PARAM_VALUE 0 *wl->buffer_32 16,60,4294966674
PARAM_VALUE 0 *wl->chip.fw_ver 0-4294967295
PARAM_VALUE 0 *wl->chip.fw_ver_str 0-255
PARAM_VALUE 1 host_cfg_bitmap 65,73,81,89
PARAM_VALUE 2 sdio_blk_size 0,256
PARAM_VALUE 3 extra_mem_blks 1-2
PARAM_VALUE 4 len_field_size 15
DATA_SOURCE 0 wl $0
DATA_SOURCE 3 extra_mem_blks $1
FUZZY_MAX 1 host_cfg_bitmap 65
FUZZY_MAX 2 sdio_blk_size 0
BIT_INFO 0 wl->quirks 0x0,0xffffffff
BIT_INFO 1 host_cfg_bitmap 0x41,0x59
BIT_INFO 2 sdio_blk_size 0x0,0x100
HARD_MAX 3 extra_mem_blks 2
RX_PATH
TASK_NOT_RUNNING
LOCK2 0 &wl->mutex
TYPE_LOCK (struct wl1271)->mutex