Documented in 1 files:

Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 2 files:

Smatch caller information:

drivers/net/wireless/ath/wil6210/main.c wil_reset() -> wil_request_firmware()

Type Parameter Key Value
PARAM_VALUE 0 wil 4096-ptr_max
PARAM_VALUE 0 wil->boot_config 1-3
PARAM_VALUE 0 wil->halp.comp.wait.lock.dep_map->name 0-255
PARAM_VALUE 0 wil->halp.lock.first_waiter->task->blocked_lock.dep_map->name 0-255
PARAM_VALUE 0 wil->hw_capa 4096-ptr_max
PARAM_VALUE 0 wil->hw_version 1-u32max
PARAM_VALUE 0 wil->main_ndev 0,4096-ptr_max
PARAM_VALUE 0 wil->mem_lock.dep_map->name 0-255
PARAM_VALUE 0 wil->mem_lock.first_waiter->handoff_set 0-1
PARAM_VALUE 0 wil->mem_lock.first_waiter->list.next 2624917664208203776
PARAM_VALUE 0 wil->mem_lock.first_waiter->list.prev 2624917664208203776
PARAM_VALUE 0 wil->mem_lock.first_waiter->type 0-1
PARAM_VALUE 0 wil->mem_lock.wait_lock.dep_map->name 0-255
PARAM_VALUE 0 wil->mem_lock.wait_lock.owner (-1)
PARAM_VALUE 0 wil->mem_lock.wait_lock.owner_cpu u32max
PARAM_VALUE 0 wil->mutex.dep_map->name 0-255
PARAM_VALUE 0 wil->mutex.first_waiter 0,4096-ptr_max
PARAM_VALUE 0 wil->mutex.first_waiter->list.prev->next 5159360019465732096
PARAM_VALUE 0 wil->mutex.osq.tail.counter 0-s32max
PARAM_VALUE 0 wil->mutex.wait_lock.dep_map->name 0-255
PARAM_VALUE 0 wil->mutex.wait_lock.owner (-1)
PARAM_VALUE 0 wil->mutex.wait_lock.owner_cpu u32max
PARAM_VALUE 0 wil->pdev 4096-ptr_max
PARAM_VALUE 0 wil->platform_capa 4096-ptr_max
PARAM_VALUE 0 wil->reply_buf 0
PARAM_VALUE 0 wil->reply_id 0
PARAM_VALUE 0 wil->reply_mid 255
PARAM_VALUE 0 wil->reply_size 0
PARAM_VALUE 0 wil->ring_rx.ctx 0
PARAM_VALUE 0 wil->ring_rx.pa 0
PARAM_VALUE 0 wil->ring_rx.va 0
PARAM_VALUE 0 wil->secured_boot 0
PARAM_VALUE 0 wil->status 4096-ptr_max
PARAM_VALUE 0 wil->vif_mutex.dep_map->name 0-255
PARAM_VALUE 0 wil->vif_mutex.first_waiter 0,4096-ptr_max
PARAM_VALUE 0 wil->vif_mutex.first_waiter->list.prev->next 5159360019465732096
PARAM_VALUE 0 wil->vif_mutex.osq.tail.counter 0-s32max
PARAM_VALUE 0 wil->vif_mutex.wait_lock.dep_map->name 0-255
PARAM_VALUE 0 wil->wiphy->coalesce->n_patterns 4
PARAM_VALUE 0 wil->wiphy->coalesce->n_rules 8
PARAM_VALUE 0 wil->wiphy->coalesce->pattern_max_len 40
PARAM_VALUE 0 wil->wiphy->coalesce->pattern_min_len 1
PARAM_VALUE 0 wil->wmi_call.wait.lock.dep_map->name 0-255
PARAM_VALUE 0 wil->wmi_ev_lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 wil->wmi_mutex.dep_map->name 0-255
PARAM_VALUE 0 wil->wmi_mutex.first_waiter 0,4096-ptr_max
PARAM_VALUE 0 wil->wmi_mutex.first_waiter->list.prev->next 5159360019465732096
PARAM_VALUE 0 wil->wmi_mutex.first_waiter->task->blocked_lock.owner (-1)
PARAM_VALUE 0 wil->wmi_mutex.first_waiter->task->blocked_lock.owner_cpu 4294967295
PARAM_VALUE 0 wil->wmi_mutex.first_waiter->task->blocked_lock.raw_lock.val.counter s32min-s32max
PARAM_VALUE 0 wil->wmi_mutex.osq.tail.counter 0-s32max
PARAM_VALUE 0 wil->wmi_mutex.wait_lock.dep_map->name 0-255
PARAM_VALUE 0 wil->wmi_wq->flush_color s32min-s32max
PARAM_VALUE 0 wil->wmi_wq->work_color s32min-s32max
PARAM_VALUE 0 wil->wq_service->flush_color s32min-s32max
PARAM_VALUE 0 wil->wq_service->work_color s32min-s32max
PARAM_VALUE 0 *wil->main_ndev->name 0
PARAM_VALUE 0 *wil->main_ndev->perm_addr 0-255
PARAM_VALUE 0 *wil->napi_ndev->name 0-255
PARAM_VALUE 0 *wil->wiphy->perm_addr 0-255
PARAM_VALUE 2 load 1
BUF_SIZE 0 wil s32min-s32max
BUF_SIZE 0 wil->pdev (-1),16,24,40,56,108-1096,1384,1600,1616,1752,2072,2576,7472,8064
BUF_SIZE 0 wil->platform_handle (-1),56
BUF_SIZE 1 name 11,15,24,28
CAPPED_DATA 0 wil 1
CAPPED_DATA 0 &wil->mem_lock 1
CAPPED_DATA 0 &wil->vif_mutex 1
CAPPED_DATA 0 &wil->wmi_mutex 1
DATA_SOURCE 0 wil $0
MEM_ZERO 0 wil->fw_version
RX_PATH
TASK_NOT_RUNNING
HOST_DATA 0 wil->chip_revision 0-3
HOST_DATA 0 wil->mbox_ctl.tx.tail 0-u32max
NO_OVERFLOW_SIMPLE 0 wil->main_ndev->num_napi_configs
NO_OVERFLOW_SIMPLE 0 wil->main_ndev->num_rx_queues
NO_OVERFLOW_SIMPLE 0 wil->main_ndev->num_tx_queues
NO_OVERFLOW_SIMPLE 0 wil->main_ndev->real_num_rx_queues
NO_OVERFLOW_SIMPLE 0 wil->main_ndev->real_num_tx_queues
UNITS 0 wil unit_byte
LOCK2 0 &wil->mem_lock
LOCK2 0 &wil->mutex
TYPE_LOCK (struct wil6210_priv)->mem_lock
TYPE_LOCK (struct wil6210_priv)->mutex

drivers/net/wireless/ath/wil6210/main.c wil_reset() -> wil_request_firmware()

Type Parameter Key Value
PARAM_VALUE 0 wil 4096-ptr_max
PARAM_VALUE 0 wil->boot_config 1-3
PARAM_VALUE 0 wil->brd_info 0
PARAM_VALUE 0 wil->halp.comp.wait.lock.dep_map->name 0-255
PARAM_VALUE 0 wil->halp.lock.first_waiter->task->blocked_lock.dep_map->name 0-255
PARAM_VALUE 0 wil->hw_capa 4096-ptr_max
PARAM_VALUE 0 wil->hw_version 1-u32max
PARAM_VALUE 0 wil->main_ndev 0,4096-ptr_max
PARAM_VALUE 0 wil->mem_lock.dep_map->name 0-255
PARAM_VALUE 0 wil->mem_lock.first_waiter->handoff_set 0-1
PARAM_VALUE 0 wil->mem_lock.first_waiter->list.next 2624917664208203776
PARAM_VALUE 0 wil->mem_lock.first_waiter->list.prev 2624917664208203776
PARAM_VALUE 0 wil->mem_lock.first_waiter->type 0-1
PARAM_VALUE 0 wil->mem_lock.wait_lock.dep_map->name 0-255
PARAM_VALUE 0 wil->mem_lock.wait_lock.owner (-1)
PARAM_VALUE 0 wil->mem_lock.wait_lock.owner_cpu u32max
PARAM_VALUE 0 wil->mutex.dep_map->name 0-255
PARAM_VALUE 0 wil->mutex.first_waiter 0,4096-ptr_max
PARAM_VALUE 0 wil->mutex.first_waiter->list.prev->next 5159360019465732096
PARAM_VALUE 0 wil->mutex.osq.tail.counter 0-s32max
PARAM_VALUE 0 wil->mutex.wait_lock.dep_map->name 0-255
PARAM_VALUE 0 wil->mutex.wait_lock.owner (-1)
PARAM_VALUE 0 wil->mutex.wait_lock.owner_cpu u32max
PARAM_VALUE 0 wil->num_of_brd_entries 0
PARAM_VALUE 0 wil->pdev 4096-ptr_max
PARAM_VALUE 0 wil->platform_capa 4096-ptr_max
PARAM_VALUE 0 wil->reply_buf 0
PARAM_VALUE 0 wil->reply_id 0
PARAM_VALUE 0 wil->reply_mid 255
PARAM_VALUE 0 wil->reply_size 0
PARAM_VALUE 0 wil->ring_rx.ctx 0
PARAM_VALUE 0 wil->ring_rx.pa 0
PARAM_VALUE 0 wil->ring_rx.va 0
PARAM_VALUE 0 wil->secured_boot 0
PARAM_VALUE 0 wil->status 4096-ptr_max
PARAM_VALUE 0 wil->vif_mutex.dep_map->name 0-255
PARAM_VALUE 0 wil->vif_mutex.first_waiter 0,4096-ptr_max
PARAM_VALUE 0 wil->vif_mutex.first_waiter->list.prev->next 5159360019465732096
PARAM_VALUE 0 wil->vif_mutex.osq.tail.counter 0-s32max
PARAM_VALUE 0 wil->vif_mutex.wait_lock.dep_map->name 0-255
PARAM_VALUE 0 wil->wil_fw_name 4096-ptr_max
PARAM_VALUE 0 wil->wiphy 4096-ptr_max
PARAM_VALUE 0 wil->wiphy->coalesce->n_patterns 4
PARAM_VALUE 0 wil->wiphy->coalesce->n_rules 8
PARAM_VALUE 0 wil->wiphy->coalesce->pattern_max_len 40
PARAM_VALUE 0 wil->wiphy->coalesce->pattern_min_len 1
PARAM_VALUE 0 wil->wmi_call.wait.lock.dep_map->name 0-255
PARAM_VALUE 0 wil->wmi_ev_lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 wil->wmi_mutex.dep_map->name 0-255
PARAM_VALUE 0 wil->wmi_mutex.first_waiter 0,4096-ptr_max
PARAM_VALUE 0 wil->wmi_mutex.first_waiter->list.prev->next 5159360019465732096
PARAM_VALUE 0 wil->wmi_mutex.first_waiter->task->blocked_lock.owner (-1)
PARAM_VALUE 0 wil->wmi_mutex.first_waiter->task->blocked_lock.owner_cpu 4294967295
PARAM_VALUE 0 wil->wmi_mutex.first_waiter->task->blocked_lock.raw_lock.val.counter s32min-s32max
PARAM_VALUE 0 wil->wmi_mutex.osq.tail.counter 0-s32max
PARAM_VALUE 0 wil->wmi_mutex.wait_lock.dep_map->name 0-255
PARAM_VALUE 0 wil->wmi_wq->flush_color s32min-s32max
PARAM_VALUE 0 wil->wmi_wq->work_color s32min-s32max
PARAM_VALUE 0 wil->wq_service->flush_color s32min-s32max
PARAM_VALUE 0 wil->wq_service->work_color s32min-s32max
PARAM_VALUE 0 *wil->main_ndev->name 0-255
PARAM_VALUE 0 *wil->main_ndev->perm_addr 0-255
PARAM_VALUE 0 *wil->napi_ndev->name 0-255
PARAM_VALUE 0 *wil->wiphy->perm_addr 0-255
PARAM_VALUE 1 name 4096-ptr_max
PARAM_VALUE 2 load 1
BUF_SIZE 0 wil s32min-s32max
BUF_SIZE 0 wil->pdev (-1),16,24,40,56,108-1096,1384,1600,1616,1752,2072,2576,7472,8064
BUF_SIZE 0 wil->platform_handle (-1),56
BUF_SIZE 1 name 128
CAPPED_DATA 0 wil 1
CAPPED_DATA 0 &wil->mem_lock 1
CAPPED_DATA 0 &wil->vif_mutex 1
CAPPED_DATA 0 &wil->wmi_mutex 1
DATA_SOURCE 0 wil $0
TERMINATED 1 name 1
MEM_ZERO 0 wil->fw_version
RX_PATH
TASK_NOT_RUNNING
HOST_DATA 0 wil->chip_revision 0-3
HOST_DATA 0 wil->mbox_ctl.tx.tail 0-u32max
NO_OVERFLOW_SIMPLE 0 wil->main_ndev->num_napi_configs
NO_OVERFLOW_SIMPLE 0 wil->main_ndev->num_rx_queues
NO_OVERFLOW_SIMPLE 0 wil->main_ndev->num_tx_queues
NO_OVERFLOW_SIMPLE 0 wil->main_ndev->real_num_rx_queues
NO_OVERFLOW_SIMPLE 0 wil->main_ndev->real_num_tx_queues
UNITS 0 wil unit_byte
LOCK2 0 &wil->mem_lock
LOCK2 0 &wil->mutex
TYPE_LOCK (struct wil6210_priv)->mem_lock
TYPE_LOCK (struct wil6210_priv)->mutex

drivers/net/wireless/ath/wil6210/pcie_bus.c wil_set_capabilities() -> wil_request_firmware()

Type Parameter Key Value
PARAM_VALUE 0 wil 4096-ptr_max
PARAM_VALUE 0 wil->bar_size 2097152-4194304
PARAM_VALUE 0 wil->chip_revision 0-3
PARAM_VALUE 0 wil->hw_capa 4096-ptr_max
PARAM_VALUE 0 wil->hw_name 615510029817520128,1318153404310056960,2750653980380811264,4818763869006274560,7288514076558671872
PARAM_VALUE 0 wil->hw_version 0-4
PARAM_VALUE 0 wil->iccm_base 8912896,8953856,8957952,8962048,8966144,8978432,9011200,9019392,9043968,9109504,9175040,9183232,9187328,9437184,9469952,9568256,9699328,10485760,10616832,10715136,10977280
PARAM_VALUE 0 wil->main_ndev 0,4096-ptr_max
PARAM_VALUE 0 wil->pdev 4096-ptr_max
PARAM_VALUE 0 wil->pdev->dev.bus 0,4096-ptr_max
PARAM_VALUE 0 wil->pdev->dev.class 0,4096-ptr_max
PARAM_VALUE 0 wil->pdev->dev.driver 0,4096-ptr_max
PARAM_VALUE 0 wil->pdev->driver 4096-ptr_max
PARAM_VALUE 0 wil->platform_capa 4096-ptr_max
PARAM_VALUE 0 wil->platform_handle 4096-ptr_max
PARAM_VALUE 0 wil->rgf_fw_assert_code_addr 9564192,10711072
PARAM_VALUE 0 wil->rgf_ucode_assert_code_addr 9564200,10711080
PARAM_VALUE 0 wil->txrx_ops.configure_interrupt_moderation 1372497671598137344
PARAM_VALUE 0 wil->txrx_ops.get_netif_rx_params 5652125543828844544
PARAM_VALUE 0 wil->txrx_ops.get_reorder_params 6847338703866208256
PARAM_VALUE 0 wil->txrx_ops.is_rx_idle 2312475752288657408
PARAM_VALUE 0 wil->txrx_ops.ring_fini_tx 2465903302582124544
PARAM_VALUE 0 wil->txrx_ops.ring_init_bcast 9146681826944294912
PARAM_VALUE 0 wil->txrx_ops.ring_init_tx 6077232499998445568
PARAM_VALUE 0 wil->txrx_ops.rx_crypto_check 1619606312477573120
PARAM_VALUE 0 wil->txrx_ops.rx_error_check 834216765612494848
PARAM_VALUE 0 wil->txrx_ops.rx_fini 2443090197017272320
PARAM_VALUE 0 wil->txrx_ops.rx_init 5220775190613450752
PARAM_VALUE 0 wil->txrx_ops.tx_desc_map 7922377754504318976
PARAM_VALUE 0 wil->txrx_ops.tx_desc_unmap 1300949953706528768
PARAM_VALUE 0 wil->txrx_ops.tx_fini 8049627255329562624
PARAM_VALUE 0 wil->txrx_ops.tx_init 2182625052325724160
PARAM_VALUE 0 wil->txrx_ops.tx_ring_modify 3729091544719892480
PARAM_VALUE 0 wil->txrx_ops.tx_ring_tso 1498629003807465472
PARAM_VALUE 0 wil->txrx_ops.wmi_addba_rx_resp 6424946796003454976
PARAM_VALUE 0 wil->use_compressed_rx_status 1
PARAM_VALUE 0 wil->use_enhanced_dma_hw 1
PARAM_VALUE 0 wil->use_rx_hw_reordering 1
PARAM_VALUE 0 wil->wil_fw_name 1970874042534359040,3158093357542969344,4367524669295095808,7416849497224290304,7635687715511554048,8762308851938836480
PARAM_VALUE 0 *wil->main_ndev->name 0
PARAM_VALUE 1 name 1970874042534359040,3158093357542969344,4367524669295095808,7416849497224290304,7635687715511554048,8762308851938836480
PARAM_VALUE 2 load 0
BUF_SIZE 0 wil 0-7690816
BUF_SIZE 0 wil 0-7690816
BUF_SIZE 0 wil->hw_name 8-9,11
BUF_SIZE 0 wil->pdev (-1),16,24,40,56,108-1096,1384,1600,1616,1752,2072,2576,7472,8064
BUF_SIZE 0 wil->platform_handle 56
BUF_SIZE 0 wil->wil_fw_name 11,15,24,28
BUF_SIZE 1 name 11,15,24,28
BUF_SIZE 1 name 11,15,24,28
DATA_SOURCE 0 wil $0
FUZZY_MAX 0 wil->hw_version 4
FUZZY_MAX 0 wil->rgf_fw_assert_code_addr 10711072
FUZZY_MAX 0 wil->rgf_ucode_assert_code_addr 10711080
STR_LEN 0 wil 10,14,23,27
STR_LEN 0 wil->hw_name 7-8,10
STR_LEN 0 wil->wil_fw_name 10,14,23,27
STR_LEN 1 name 10,14,23,27
BIT_INFO 0 wil->hw_name 0x8100000,0xffffffffffffffff
BIT_INFO 0 wil->rgf_fw_assert_code_addr 0x817020,0xffffffffffffffff
BIT_INFO 0 wil->rgf_ucode_assert_code_addr 0x817028,0xffffffffffffffff
TERMINATED 0 wil->hw_name 1
TERMINATED 0 wil->wil_fw_name 1
TERMINATED 1 name 1
HARD_MAX 0 wil->hw_version 4
HARD_MAX 0 wil->rgf_fw_assert_code_addr 10711072
HARD_MAX 0 wil->rgf_ucode_assert_code_addr 10711080
MEM_ZERO 0 wil->fw_capabilities
MEM_ZERO 0 wil->hw_capa
MEM_ZERO 0 wil->platform_capa
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HOST_DATA 0 wil->chip_revision 0-3
HOST_DATA 0 wil->pdev->current_state 0-3[c]
NO_OVERFLOW_SIMPLE 0 wil->main_ndev->num_napi_configs
NO_OVERFLOW_SIMPLE 0 wil->main_ndev->num_rx_queues
NO_OVERFLOW_SIMPLE 0 wil->main_ndev->num_tx_queues
NO_OVERFLOW_SIMPLE 0 wil->main_ndev->real_num_rx_queues
NO_OVERFLOW_SIMPLE 0 wil->main_ndev->real_num_tx_queues