Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/net/wireless/ath/ath10k/sdio.c __ath10k_sdio_write_async() -> ath10k_sdio_write()

Type Parameter Key Value
BUF_SIZE 2 buf 1-s32max
DATA_SOURCE 0 ar $0
UNITS 1 addr unit_byte
UNITS 2 buf unit_byte
UNITS 3 len unit_byte
HALF_LOCKED2 &pool->lock

drivers/net/wireless/ath/ath10k/sdio.c ath10k_sdio_bmi_exchange_msg() -> ath10k_sdio_write()

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->hif.ops 4096-ptr_max
PARAM_VALUE 0 ar->hif.ops->exchange_bmi_msg 0,4096-ptr_max
PARAM_VALUE 0 ar->hif.ops->fetch_cal_eeprom 0,1831290418449702912
PARAM_VALUE 0 ar->hif.ops->get_target_info 0,325752887397482496
PARAM_VALUE 0 ar->hif.ops->power_up 4096-ptr_max
PARAM_VALUE 0 ar->hif.ops->write32 0,4096-ptr_max
PARAM_VALUE 0 ar->hw_params.hw_ops->enable_pll_clk 0,6695555493309784064
PARAM_VALUE 0 ar->normal_mode_fw.fw_file.firmware_swap_code_seg_info->seg_hw_info.num_segs 0-1
PARAM_VALUE 0 ar->normal_mode_fw.fw_file.firmware_swap_code_seg_info->seg_hw_info.size 0-524288
PARAM_VALUE 0 ar->normal_mode_fw.fw_file.firmware_swap_code_seg_info->seg_hw_info.size_log2 0-31,u32max
PARAM_VALUE 0 ar->regs->core_clk_div_address 0,4210728
PARAM_VALUE 0 ar->regs->cpu_pll_init_address 0,4210720
PARAM_VALUE 0 ar->regs->cpu_speed_address 0,4210724
PARAM_VALUE 0 ar->testmode.utf_mode_fw.fw_file.firmware_swap_code_seg_info->seg_hw_info.size 0-524288
PARAM_VALUE 0 *ar->coredump.fw_crash_data->registers 0-4294967295
PARAM_VALUE 3 len 0,4,8-2048
BUF_SIZE 0 ar->testmode.eventdata (-1),2048
BUF_SIZE 2 buf 2060
CAPPED_DATA 0 ar->dev->cma_area->nranges 1
CAPPED_DATA 3 len 1
DATA_SOURCE 0 ar $0
DATA_SOURCE 3 len $2
STR_LEN 0 ar (-1),11,15,21,25,28,32
STR_LEN 0 ar (-1),11,15,21,25,28,32
RX_PATH
TASK_NOT_RUNNING
NO_OVERFLOW_SIMPLE 0 ar->normal_mode_fw.fw_file.firmware_swap_code_seg_info->seg_hw_info.size
NO_OVERFLOW_SIMPLE 0 ar->normal_mode_fw.fw_file.firmware_swap_code_seg_info->seg_hw_info.swap_size
NO_OVERFLOW_SIMPLE 0 ar->testmode.utf_mode_fw.fw_file.firmware_swap_code_seg_info->seg_hw_info.size
HALF_LOCKED2 &pool->lock
HALF_LOCKED2 0 &ar->conf_mutex
HALF_LOCKED2 0 &ar->dump_mutex

drivers/net/wireless/ath/ath10k/sdio.c ath10k_sdio_disable_intrs() -> ath10k_sdio_write()

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->drv_priv->irq_data.mtx.dep_map->name 0-255
PARAM_VALUE 0 ar->drv_priv->irq_data.mtx.first_waiter 0,4096-ptr_max
PARAM_VALUE 0 ar->drv_priv->irq_data.mtx.first_waiter->list.prev->next 5159360019465732096
PARAM_VALUE 0 ar->drv_priv->irq_data.mtx.osq.tail.counter 0-s32max
PARAM_VALUE 0 ar->drv_priv->irq_data.mtx.wait_lock.dep_map->name 0-255
PARAM_VALUE 0 ar->drv_priv->irq_data.mtx.wait_lock.owner (-1)
PARAM_VALUE 0 ar->drv_priv->irq_data.mtx.wait_lock.owner_cpu u32max
PARAM_VALUE 0 ar->hif.ops->write32 0,4096-ptr_max
PARAM_VALUE 0 ar->testmode.utf_mode_fw.fw_file.firmware_swap_code_seg_info->seg_hw_info.size 0-524288
PARAM_VALUE 0 *ar->coredump.fw_crash_data->registers 0-4294967295
PARAM_VALUE 1 addr 2088
PARAM_VALUE 3 len 4
DATA_SOURCE 0 ar $0
MEM_ZERO 2 buf
RX_PATH
TASK_NOT_RUNNING
UNITS 3 len unit_byte
LOCK2 &irq_data->mtx
HALF_LOCKED2 0 &ar->conf_mutex
HALF_LOCKED2 0 &ar->dump_mutex
TYPE_LOCK (struct ath10k_sdio_irq_data)->mtx

drivers/net/wireless/ath/ath10k/sdio.c ath10k_sdio_enable_intrs() -> ath10k_sdio_write()

Type Parameter Key Value
PARAM_VALUE 0 ar 4096-ptr_max
PARAM_VALUE 0 ar->drv_priv 4096-ptr_max
PARAM_VALUE 0 ar->drv_priv->func->card->host->lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 ar->drv_priv->func->card->host->ongoing_mrq->cmd_completion.wait.lock.owner (-1)
PARAM_VALUE 0 ar->drv_priv->func->card->host->ongoing_mrq->cmd_completion.wait.lock.owner_cpu 4294967295
PARAM_VALUE 0 ar->drv_priv->func->card->host->ongoing_mrq->uhs2_cmd.packet_len 0,4-12
PARAM_VALUE 0 ar->drv_priv->func->card->host->ongoing_mrq->uhs2_cmd.payload_len 0-8
PARAM_VALUE 0 ar->drv_priv->func->card->host->ongoing_mrq->uhs2_cmd.tmode_half_duplex 0-1
PARAM_VALUE 0 ar->drv_priv->func->card->host->ongoing_mrq->uhs2_cmd.uhs2_resp_len 0,4-6,8
PARAM_VALUE 0 ar->drv_priv->func->num 0-4294967295
PARAM_VALUE 0 ar->drv_priv->irq_data.mtx.dep_map->name 0-255
PARAM_VALUE 0 ar->drv_priv->irq_data.mtx.first_waiter 0,4096-ptr_max
PARAM_VALUE 0 ar->drv_priv->irq_data.mtx.first_waiter->list.prev->next 5159360019465732096
PARAM_VALUE 0 ar->drv_priv->irq_data.mtx.osq.tail.counter 0-s32max
PARAM_VALUE 0 ar->drv_priv->irq_data.mtx.wait_lock.dep_map->name 0-255
PARAM_VALUE 0 ar->drv_priv->irq_data.mtx.wait_lock.owner (-1)
PARAM_VALUE 0 ar->drv_priv->irq_data.mtx.wait_lock.owner_cpu u32max
PARAM_VALUE 0 ar->hif.ops->write32 0,4096-ptr_max
PARAM_VALUE 0 *ar->coredump.fw_crash_data->registers 0-4294967295
PARAM_VALUE 1 addr 2088
PARAM_VALUE 2 buf 4096-ptr_max
PARAM_VALUE 2 *buf 0-255
PARAM_VALUE 3 len 4
DATA_SOURCE 0 ar $0
UNITS 3 len unit_byte
LOCK2 &irq_data->mtx
HALF_LOCKED2 0 &ar->dump_mutex
TYPE_LOCK (struct ath10k_sdio_irq_data)->mtx

drivers/net/wireless/ath/ath10k/sdio.c ath10k_sdio_hif_diag_write_mem() -> ath10k_sdio_write()

Type Parameter Key Value
PARAM_VALUE 0 ar 4096-ptr_max
PARAM_VALUE 0 ar->conf_mutex.first_waiter 0,4096-ptr_max
PARAM_VALUE 0 ar->conf_mutex.first_waiter->list.prev->next 5159360019465732096
PARAM_VALUE 0 ar->conf_mutex.osq.tail.counter 0-s32max
PARAM_VALUE 0 ar->conf_mutex.wait_lock.owner (-1)
PARAM_VALUE 0 ar->conf_mutex.wait_lock.owner_cpu u32max
PARAM_VALUE 0 ar->dev->cma_area->nranges s32min-s32max
PARAM_VALUE 0 ar->hif.ops 4096-ptr_max
PARAM_VALUE 0 ar->hif.ops->diag_write 724391710261522432,2296224945179402240,7069265087800852480
PARAM_VALUE 0 ar->hif.ops->get_target_info 0,325752887397482496
PARAM_VALUE 0 ar->hif.ops->power_up 4096-ptr_max
PARAM_VALUE 0 ar->hif.ops->write32 0,4096-ptr_max
PARAM_VALUE 0 ar->hw_params.hw_ops->enable_pll_clk 0,6695555493309784064
PARAM_VALUE 0 ar->normal_mode_fw.fw_file.firmware_swap_code_seg_info->seg_hw_info.num_segs 0-1
PARAM_VALUE 0 ar->normal_mode_fw.fw_file.firmware_swap_code_seg_info->seg_hw_info.size 0-524288
PARAM_VALUE 0 ar->normal_mode_fw.fw_file.firmware_swap_code_seg_info->seg_hw_info.size_log2 0-31,u32max
PARAM_VALUE 0 ar->regs->core_clk_div_address 0,4210728
PARAM_VALUE 0 ar->regs->cpu_pll_init_address 0,4210720
PARAM_VALUE 0 ar->regs->cpu_speed_address 0,4210724
PARAM_VALUE 0 ar->testmode.utf_mode_fw.fw_file.firmware_swap_code_seg_info->seg_hw_info.size 0-524288
PARAM_VALUE 1 addr 2164
PARAM_VALUE 3 len 0-s32max,18446744071562067968-u64max
BUF_SIZE 0 ar s32min-(-1),1-s32max
BUF_SIZE 0 ar s32min-(-1),1-s32max
BUF_SIZE 0 ar->testmode.eventdata (-1),2048
BUF_SIZE 2 buf (-1),1-1000000000,2147479552
BUF_SIZE 2 buf (-1),1-1000000000,2147479552
DATA_SOURCE 0 ar $0
DATA_SOURCE 2 buf $2
DATA_SOURCE 3 len $3
RX_PATH
TASK_NOT_RUNNING
USER_DATA 3 len 2-1000000000[c]
NO_OVERFLOW_SIMPLE 0 ar->normal_mode_fw.fw_file.firmware_swap_code_seg_info->seg_hw_info.size
NO_OVERFLOW_SIMPLE 0 ar->normal_mode_fw.fw_file.firmware_swap_code_seg_info->seg_hw_info.swap_size
NO_OVERFLOW_SIMPLE 0 ar->testmode.utf_mode_fw.fw_file.firmware_swap_code_seg_info->seg_hw_info.size
USER_PTR 2 buf
LOCK2 0 &ar->conf_mutex
TYPE_LOCK (struct ath10k)->conf_mutex