Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/net/wireless/ath/ath10k/wmi.c ath10k_wmi_alloc_host_mem() -> ath10k_wmi_alloc_chunk()

Type Parameter Key Value
PARAM_VALUE 0 ar 4096-ptr_max
PARAM_VALUE 0 ar->dev->cma_area->nranges s32min-s32max
PARAM_VALUE 0 ar->fw_version_minor 0-16777215
PARAM_VALUE 0 ar->hw 4096-ptr_max
PARAM_VALUE 0 ar->hw->wiphy 4096-ptr_max
PARAM_VALUE 0 ar->svc_rdy_skb 1-u64max
PARAM_VALUE 0 ar->svc_rdy_skb->data 4096-ptr_max
PARAM_VALUE 0 ar->wmi.ops 4096-ptr_max
PARAM_VALUE 0 ar->wmi.ops->map_svc 4096-ptr_max
PARAM_VALUE 0 ar->wmi.svc_map 4096-ptr_max
PARAM_VALUE 2 num_units 1-u32max
CAPPED_DATA 0 ar->cfg_tx_chainmask 1
CAPPED_DATA 0 ar->dev->cma_area->nranges 1
CAPPED_DATA 0 ar->num_rf_chains 1
DATA_SOURCE 0 ar $0
DATA_SOURCE 1 req_id $1
DATA_SOURCE 2 num_units $2
DATA_SOURCE 3 unit_len $3
STR_LEN 0 ar->hw->wiphy->fw_version (-1),31
NOSPEC 0 ar->num_rf_chains
USER_DATA 0 ar->fw_version_build 0-u16max[c]
USER_DATA 0 ar->fw_version_major 0-255[c]
USER_DATA 0 ar->fw_version_minor 0-16777215[c]
USER_DATA 0 ar->fw_version_release 0-u16max[c]
USER_DATA 0 ar->high_2ghz_chan 0-u32max[u]
USER_DATA 0 ar->high_5ghz_chan 0-u32max[u]
USER_DATA 0 ar->ht_cap_info 0-u32max[u]
USER_DATA 0 ar->hw_eeprom_rd 0-u32max[u]
USER_DATA 0 ar->hw_max_tx_power 0-u32max[u]
USER_DATA 0 ar->hw_min_tx_power 0-u32max[u]
USER_DATA 0 ar->low_2ghz_chan 0-u32max[u]
USER_DATA 0 ar->low_5ghz_chan 0-u32max[u]
USER_DATA 0 ar->num_rf_chains 0-s32max[c]
USER_DATA 0 ar->phy_capability 0-u32max[u]
USER_DATA 0 ar->vht_cap_info 0-u32max[u]
USER_DATA 0 ar->vht_supp_mcs 0-u32max[u]
HALF_LOCKED2 &pool->lock