Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
drivers/net/wireless/ath/ath10k/sdio.c ath10k_sdio_bmi_credits() -> ath10k_sdio_read32()
| 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->dev->iommu->attach_deferred | 0-1 |
| PARAM_VALUE | 0 | ar->dev->iommu->pci_32bit_workaround | 0-1 |
| PARAM_VALUE | 0 | ar->dev->iommu_group->default_domain | 0-s64max |
| 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->workqueue_aux->flags | 0-4294967295 |
| PARAM_VALUE | 0 | *ar->coredump.fw_crash_data->registers | 0-4294967295 |
| PARAM_VALUE | 1 | addr | 2128 |
| PARAM_VALUE | 2 | val | 3703891919960043520 |
| PARAM_VALUE | 2 | *val | 0 |
| BUF_SIZE | 0 | ar->testmode.eventdata | (-1),2048 |
| CAPPED_DATA | 0 | ar->dev->cma_area->nranges | 1 |
| DATA_SOURCE | 0 | ar | $0 |
| 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_bmi_get_rx_lookahead() -> ath10k_sdio_read32()
| 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->dev->iommu->attach_deferred | 0-1 |
| PARAM_VALUE | 0 | ar->dev->iommu->pci_32bit_workaround | 0-1 |
| PARAM_VALUE | 0 | ar->dev->iommu_group->default_domain | 0-s64max |
| 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->workqueue_aux->flags | 0-4294967295 |
| PARAM_VALUE | 0 | *ar->coredump.fw_crash_data->registers | 0-4294967295 |
| PARAM_VALUE | 1 | addr | 2048 |
| PARAM_VALUE | 2 | val | 7502327243150938112 |
| PARAM_VALUE | 2 | *val | 0 |
| BUF_SIZE | 0 | ar->testmode.eventdata | (-1),2048 |
| CAPPED_DATA | 0 | ar->dev->cma_area->nranges | 1 |
| DATA_SOURCE | 0 | ar | $0 |
| 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_mbox_proc_dbg_intr() -> ath10k_sdio_read32()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | ar->dev->iommu->attach_deferred | 0-1 |
| PARAM_VALUE | 0 | ar->dev->iommu->pci_32bit_workaround | 0-1 |
| PARAM_VALUE | 0 | ar->drv_priv | 4096-ptr_max |
| PARAM_VALUE | 0 | ar->drv_priv->func->card->host->claim_cnt | s32min-s32max |
| PARAM_VALUE | 0 | ar->drv_priv->func->card->host->cqe_on | 0-1 |
| PARAM_VALUE | 0 | ar->drv_priv->func->card->host->doing_retune | 0-1 |
| PARAM_VALUE | 0 | ar->drv_priv->func->card->host->fail_mmc_request.ratelimit_state.flags | 0-4294967295 |
| PARAM_VALUE | 0 | ar->drv_priv->func->card->host->fail_mmc_request.ratelimit_state.missed.counter | s32min-s32max |
| PARAM_VALUE | 0 | ar->drv_priv->func->card->host->fail_mmc_request.space.counter | s32min-s32max |
| PARAM_VALUE | 0 | ar->drv_priv->func->card->host->fail_mmc_request.times.counter | s32min-s32max |
| PARAM_VALUE | 0 | ar->drv_priv->func->card->host->hold_retune | s32min-s32max |
| PARAM_VALUE | 0 | ar->drv_priv->func->card->host->led->brightness | 0-4294967295 |
| 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->need_retune | s32min-s32max |
| 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->parent->dma_uses_io_tlb | 0-1 |
| PARAM_VALUE | 0 | ar->drv_priv->func->card->host->parent->iommu->pci_32bit_workaround | 0-1 |
| PARAM_VALUE | 0 | ar->drv_priv->func->card->host->parent->iommu_group->default_domain | 0-s64max |
| PARAM_VALUE | 0 | ar->drv_priv->func->card->host->private->pcr->pci->dev.dma_uses_io_tlb | 0-1 |
| PARAM_VALUE | 0 | ar->drv_priv->func->card->host->retune_now | 0-1 |
| PARAM_VALUE | 0 | ar->drv_priv->func->card->host->uhs2_app_cmd | 0-1 |
| 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->list.prev->next | 5159360019465732096 |
| PARAM_VALUE | 0 | ar->drv_priv->irq_data.mtx.first_waiter->list.prev->prev | 5159360019465732096 |
| PARAM_VALUE | 0 | ar->drv_priv->irq_data.mtx.first_waiter->task->blocked_lock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | ar->drv_priv->irq_data.mtx.first_waiter->task->blocked_lock.owner | (-1) |
| PARAM_VALUE | 0 | ar->drv_priv->irq_data.mtx.first_waiter->task->blocked_lock.owner_cpu | 4294967295 |
| PARAM_VALUE | 0 | ar->drv_priv->irq_data.mtx.first_waiter->task->blocked_lock.raw_lock.val.counter | s32min-s32max |
| PARAM_VALUE | 0 | ar->drv_priv->irq_data.mtx.first_waiter->task->usage.refs.counter | s32min-s32max |
| 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 | 4294967295 |
| PARAM_VALUE | 0 | ar->hif.ops->write32 | 0,4096-ptr_max |
| PARAM_VALUE | 0 | *ar->coredump.fw_crash_data->registers | 0-4294967295 |
| PARAM_VALUE | 0 | *ar->drv_priv->func->card->host->fail_mmc_request.ratelimit_state.lock.owner | (-4611686018427387904)-4611686018427387903 |
| PARAM_VALUE | 0 | *ar->drv_priv->func->card->host->ongoing_mrq->cmd_completion.wait.lock.owner | (-4611686018427387904)-4611686018427387903 |
| PARAM_VALUE | 1 | addr | 2112 |
| PARAM_VALUE | 2 | val | 8239463160532262912 |
| DATA_SOURCE | 0 | ar | $0 |
| LOCK2 | &irq_data->mtx | ||
| HALF_LOCKED2 | &pool->lock | ||
| TYPE_LOCK | (struct ath10k_sdio_irq_data)->mtx |
drivers/net/wireless/ath/ath10k/sdio.c ath10k_sdio_set_mbox_sleep() -> ath10k_sdio_read32()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | ar->dev->cma_area->nranges | s32min-s32max |
| PARAM_VALUE | 0 | ar->drv_priv | 4096-ptr_max |
| PARAM_VALUE | 0 | ar->drv_priv->func | 0,4096-ptr_max |
| 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->resume | 0,4096-ptr_max |
| PARAM_VALUE | 0 | ar->hif.ops->start_post | 0,7021265264741916672 |
| PARAM_VALUE | 0 | ar->hif.ops->stop | 4096-ptr_max |
| PARAM_VALUE | 0 | ar->hif.ops->suspend | 0,4096-ptr_max |
| PARAM_VALUE | 0 | ar->hif.ops->write32 | 0,4096-ptr_max |
| PARAM_VALUE | 0 | ar->htt.ar->dev->cma_area->nranges | s32min-s32max |
| PARAM_VALUE | 0 | ar->hw_values->ce_count | 8,12 |
| PARAM_VALUE | 0 | ar->hw_values->rfkill_pin | 0,16 |
| PARAM_VALUE | 0 | ar->leds.cdev.dev->kobj.parent->sd->attr.open->nr_mmapped | 0-4294967295 |
| PARAM_VALUE | 0 | ar->leds.cdev.dev->kobj.sd->attr.open->nr_mmapped | 0-4294967295 |
| PARAM_VALUE | 0 | ar->leds.cdev.dev->power.wakeirq->status | 0-4294967295 |
| PARAM_VALUE | 0 | ar->leds.cdev.trigger_lock.first_waiter->handoff_set | 0-1 |
| PARAM_VALUE | 0 | ar->leds.cdev.trigger_lock.first_waiter->type | 0-1 |
| 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->testmode.utf_mode_fw.fw_file.firmware_swap_code_seg_info->seg_hw_info.size | 0-524288 |
| PARAM_VALUE | 0 | ar->wmi.cmd->pdev_pktlog_disable_cmdid | 1-u32max |
| PARAM_VALUE | 0 | ar->wmi.cmd->pdev_set_param_cmdid | 1-u32max |
| PARAM_VALUE | 0 | ar->wmi.cmd->pdev_suspend_cmdid | 1-u32max |
| PARAM_VALUE | 0 | ar->wmi.cmd->peer_delete_cmdid | 24578,36893,36899 |
| PARAM_VALUE | 0 | ar->wmi.cmd->peer_flush_tids_cmdid | 24579,36894,36900 |
| PARAM_VALUE | 0 | ar->wmi.cmd->set_bb_timing_cmdid | 0,36979 |
| PARAM_VALUE | 0 | ar->wmi.ops->gen_adaptive_qcs | 0,5156545271954587648 |
| PARAM_VALUE | 0 | ar->wmi.ops->gen_bb_timing | 0,8184117253749645312 |
| PARAM_VALUE | 0 | ar->wmi.ops->gen_pdev_enable_adaptive_cca | 0,6284256809555939328 |
| PARAM_VALUE | 0 | ar->wmi.ops->gen_scan_prob_req_oui | 0,8911503060905635840 |
| PARAM_VALUE | 0 | ar->wmi.pdev_param->ani_enable | 33,37 |
| PARAM_VALUE | 0 | ar->wmi.pdev_param->arp_ac_override | 31,35 |
| PARAM_VALUE | 0 | ar->wmi.pdev_param->burst_enable | 0,41,48,50 |
| PARAM_VALUE | 0 | ar->wmi.pdev_param->dynamic_bw | 10 |
| PARAM_VALUE | 0 | ar->wmi.pdev_param->enable_btcoex | 0,100 |
| PARAM_VALUE | 0 | ar->wmi.pdev_param->idle_ps_config | 0,44 |
| PARAM_VALUE | 0 | ar->wmi.pdev_param->peer_stats_update_period | 28,32 |
| PARAM_VALUE | 0 | ar->wmi.pdev_param->pmf_qos | 30,34 |
| PARAM_VALUE | 1 | addr | 2152 |
| PARAM_VALUE | 2 | val | 6051195427747835904 |
| BUF_SIZE | 0 | ar | s32min-(-1),1-s32max |
| BUF_SIZE | 0 | ar | s32min-(-1),1-s32max |
| BUF_SIZE | 0 | ar->testmode.eventdata | (-1)-0,2048 |
| DATA_SOURCE | 0 | ar | $0 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| HALF_LOCKED2 | 0 | &ar->conf_mutex |