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 |