Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/net/wireless/intel/iwlegacy/4965-mac.c il4965_pci_remove() -> il4965_dealloc_ucode_pci()

Type Parameter Key Value
PARAM_VALUE 0 il 4096-ptr_max
PARAM_VALUE 0 il->_4965.firmware_loading_complete.done 0-4294967293,u32max
PARAM_VALUE 0 il->_4965.firmware_loading_complete.wait.lock.dep_map->name 0-255
PARAM_VALUE 0 il->_4965.firmware_loading_complete.wait.lock.owner (-1)
PARAM_VALUE 0 il->_4965.firmware_loading_complete.wait.lock.owner_cpu u32max
PARAM_VALUE 0 il->_4965.firmware_loading_complete.wait.task_list.prev->next 4096-ptr_max
PARAM_VALUE 0 il->_4965.firmware_loading_complete.wait.task_list.prev->next->next 4096-ptr_max
PARAM_VALUE 0 il->_4965.key_mapping_keys 0
PARAM_VALUE 0 il->_4965.wep_keys->key_idx 0
PARAM_VALUE 0 il->_4965.wep_keys->key_offset 0
PARAM_VALUE 0 il->_4965.wep_keys->key_size 0
PARAM_VALUE 0 il->abort_scan.lockdep_map->name 0-255
PARAM_VALUE 0 il->beacon_skb 0
PARAM_VALUE 0 il->card_alive.error_event_table_ptr 0
PARAM_VALUE 0 il->card_alive.is_valid 0
PARAM_VALUE 0 il->card_alive.log_event_table_ptr 0
PARAM_VALUE 0 il->card_alive.reserved1 0
PARAM_VALUE 0 il->card_alive.reserved2 0
PARAM_VALUE 0 il->card_alive.timestamp 0
PARAM_VALUE 0 il->card_alive.ucode_major 0
PARAM_VALUE 0 il->card_alive.ucode_minor 0
PARAM_VALUE 0 il->card_alive.ver_subtype 0
PARAM_VALUE 0 il->card_alive.ver_type 0
PARAM_VALUE 0 il->debugfs_dir 0
PARAM_VALUE 0 il->frames_count 0
PARAM_VALUE 0 il->init_alive_start.work.lockdep_map->name 0-255
PARAM_VALUE 0 il->led.dev->power.wakeirq->status 0-4294967295
PARAM_VALUE 0 il->led.trigger_lock.first_waiter->handoff_set 0-1
PARAM_VALUE 0 il->led.trigger_lock.first_waiter->type 0-1
PARAM_VALUE 0 il->lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 il->mac80211_registered 0
PARAM_VALUE 0 il->num_stations 0
PARAM_VALUE 0 il->pci_dev 4096-ptr_max
PARAM_VALUE 0 il->reg_lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 il->run_time_calib_work.lockdep_map->name 0-255
PARAM_VALUE 0 il->scan_check.work.lockdep_map->name 0-255
PARAM_VALUE 0 il->scan_completed.lockdep_map->name 0-255
PARAM_VALUE 0 il->scan_request 0
PARAM_VALUE 0 il->scan_vif 0
PARAM_VALUE 0 il->sta_lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 il->stations->keyinfo.cipher 0
PARAM_VALUE 0 il->stations->keyinfo.keyidx 0
PARAM_VALUE 0 il->stations->keyinfo.keylen 0
PARAM_VALUE 0 il->stations->lq 0
PARAM_VALUE 0 il->stations->sta.add_immediate_ba_ssn 0
PARAM_VALUE 0 il->stations->sta.add_immediate_ba_tid 0
PARAM_VALUE 0 il->stations->sta.key.key_flags 0
PARAM_VALUE 0 il->stations->sta.key.key_offset 0
PARAM_VALUE 0 il->stations->sta.key.reserved1 0
PARAM_VALUE 0 il->stations->sta.key.reserved2 0
PARAM_VALUE 0 il->stations->sta.key.tkip_rx_tsc_byte2 0
PARAM_VALUE 0 il->stations->sta.mode 0
PARAM_VALUE 0 il->stations->sta.rate_n_flags 0
PARAM_VALUE 0 il->stations->sta.reserved2 0
PARAM_VALUE 0 il->stations->sta.sleep_tx_count 0
PARAM_VALUE 0 il->stations->sta.sta.modify_mask 0
PARAM_VALUE 0 il->stations->sta.sta.reserved1 0
PARAM_VALUE 0 il->stations->sta.sta.reserved2 0
PARAM_VALUE 0 il->stations->sta.sta.sta_id 0
PARAM_VALUE 0 il->stations->sta.station_flags 0
PARAM_VALUE 0 il->stations->sta.station_flags_msk 0
PARAM_VALUE 0 il->stations->sta.tid_disable_tx 0
PARAM_VALUE 0 il->stations->used 0
PARAM_VALUE 0 il->stats_periodic.entry.pprev 0
PARAM_VALUE 0 il->stats_periodic.flags 0-4194302
PARAM_VALUE 0 il->stats_periodic.function 0
PARAM_VALUE 0 il->status 0,8,512,520,1024,1032,1536,1544
PARAM_VALUE 0 il->txpower_work.lockdep_map->name 0-255
PARAM_VALUE 0 il->ucode_key_table 0
PARAM_VALUE 0 il->watchdog.entry.pprev 0
PARAM_VALUE 0 il->watchdog.flags 0-4194302
PARAM_VALUE 0 il->watchdog.function 0
PARAM_VALUE 0 *il->beacon_skb->sk->sk_callback_lock.owner (-4611686018427387904)-4611686018427387903
BUF_SIZE 0 il s32min-(-2),1-s32max
BUF_SIZE 0 il s32min-(-2),1-s32max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 0 il unit_byte

drivers/net/wireless/intel/iwlegacy/4965-mac.c il4965_ucode_callback() -> il4965_dealloc_ucode_pci()

Type Parameter Key Value
PARAM_VALUE 0 il 4096-ptr_max
PARAM_VALUE 0 il->cfg 4096-ptr_max
PARAM_VALUE 0 il->cfg->ucode_api_max 2
PARAM_VALUE 0 il->cfg->ucode_api_min 1-2
PARAM_VALUE 0 il->hw 4096-ptr_max
PARAM_VALUE 0 il->hw->wiphy 4096-ptr_max
PARAM_VALUE 0 il->pci_dev->dev.bus 0,4096-ptr_max
PARAM_VALUE 0 il->pci_dev->dev.class 0,4096-ptr_max
PARAM_VALUE 0 il->pci_dev->dev.cma_area->nranges s32min-s32max
PARAM_VALUE 0 il->pci_dev->dev.driver 0,4096-ptr_max
PARAM_VALUE 0 il->ucode_code.v_addr 0-ptr_max
PARAM_VALUE 0 il->ucode_data.v_addr 0-ptr_max
PARAM_VALUE 0 il->ucode_data_backup.len 0-u32max
PARAM_VALUE 0 il->ucode_data_backup.v_addr 0-ptr_max
BUF_SIZE 0 il s32min-(-2),1-s32max
BUF_SIZE 0 il s32min-(-2),1-s32max
CAPPED_DATA 0 il->ucode_code.len 1
CAPPED_DATA 0 il->ucode_data.len 1
CAPPED_DATA 0 il->ucode_data_backup.len 1
DATA_SOURCE 0 il $1
STR_LEN 0 il->hw->wiphy->fw_version 31
NOCHECK_CALL
HALF_LOCKED2 &pool->lock