Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
drivers/net/wireless/ath/ath10k/swap.c ath10k_swap_code_seg_init() -> ath10k_swap_code_seg_free()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | ar | 4096-ptr_max |
| PARAM_VALUE | 0 | ar->dev | 4096-ptr_max |
| PARAM_VALUE | 0 | ar->dev->bus | 0,4096-ptr_max |
| PARAM_VALUE | 0 | ar->dev->class | 0,4096-ptr_max |
| PARAM_VALUE | 0 | ar->dev->cma_area->alloc_mutex.first_waiter->list.prev->next | 5159360019465732096 |
| PARAM_VALUE | 0 | ar->dev->cma_area->alloc_mutex.first_waiter->list.prev->prev | 5159360019465732096 |
| PARAM_VALUE | 0 | ar->dev->cma_area->alloc_mutex.osq.tail.counter | 0-s32max |
| PARAM_VALUE | 0 | ar->dev->cma_area->nranges | s32min-s32max |
| PARAM_VALUE | 0 | ar->dev->devres_head.prev | 4096-ptr_max |
| PARAM_VALUE | 0 | ar->dev->devres_head.prev->next | 4096-ptr_max |
| PARAM_VALUE | 0 | ar->dev->devres_head.prev->next->next | 4096-ptr_max |
| PARAM_VALUE | 0 | ar->dev->dma_io_tlb_lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | ar->dev->dma_io_tlb_pools.next | 4096-ptr_max |
| PARAM_VALUE | 0 | ar->dev->dma_io_tlb_pools.next->prev | 4096-ptr_max |
| PARAM_VALUE | 0 | ar->dev->dma_io_tlb_pools.next->prev->prev | 4096-ptr_max |
| PARAM_VALUE | 0 | ar->dev->dma_mem->spinlock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | ar->dev->dma_uses_io_tlb | 1 |
| PARAM_VALUE | 0 | ar->dev->driver | 0,4096-ptr_max |
| PARAM_VALUE | 0 | ar->dev->iommu->attach_deferred | 0-1 |
| PARAM_VALUE | 0 | ar->hif.ops->get_target_info | 0,325752887397482496 |
| PARAM_VALUE | 1 | seg_info | 4096-ptr_max |
| PARAM_VALUE | 1 | seg_info->seg_hw_info.num_segs | 1 |
| PARAM_VALUE | 1 | seg_info->seg_hw_info.size | 0-524288 |
| PARAM_VALUE | 1 | seg_info->seg_hw_info.size_log2 | 0-31,u32max |
| PARAM_VALUE | 1 | seg_info->seg_hw_info.swap_size | 0-524288 |
| PARAM_VALUE | 1 | seg_info->target_addr | u32max |
| BUF_SIZE | 1 | seg_info | 232 |
| CAPPED_DATA | 0 | ar->dev | 1 |
| CAPPED_DATA | 1 | seg_info->seg_hw_info.size | 1 |
| CAPPED_DATA | 1 | seg_info->seg_hw_info.swap_size | 1 |
| DATA_SOURCE | 0 | ar | $0 |
| DATA_SOURCE | 1 | seg_info | r ath10k_swap_code_seg_alloc |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| HALF_LOCKED2 | 0 | &ar->conf_mutex |
drivers/net/wireless/ath/ath10k/swap.c ath10k_swap_code_seg_release() -> ath10k_swap_code_seg_free()
| 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->get_target_info | 0,325752887397482496 |
| PARAM_VALUE | 0 | ar->htt.ar->dev->cma_area->nranges | s32min-s32max |
| PARAM_VALUE | 0 | ar->hw->wiphy->sar_capa->freq_ranges | 1588472398671695872,2234421883889115136,2752340918958592000,3970840399040405504,4754012303986532352 |
| PARAM_VALUE | 0 | ar->hw->wiphy->sar_capa->num_freq_ranges | 2,4,10-11 |
| PARAM_VALUE | 0 | ar->hw_values->ce_count | 8,12 |
| 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_suspend_cmdid | 1-u32max |
| PARAM_VALUE | 0 | ar->wmi.ops->gen_pdev_get_temperature | 0,3842697171020959744,4287821308691910656 |
| PARAM_VALUE | 0 | ar->wmi.vdev_param->tx_encap_type | 0,48,50 |
| 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 |
| CAPPED_DATA | 0 | ar->dev->cma_area->nranges | 1 |
| DATA_SOURCE | 0 | ar | $0 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| NO_OVERFLOW_SIMPLE | 0 | ar->leds.cdev.blink_delay_off | |
| NO_OVERFLOW_SIMPLE | 0 | ar->leds.cdev.blink_delay_on | |
| NO_OVERFLOW_SIMPLE | 0 | ar->spectral.rfs_chan_spec_scan->n_subbufs | |
| NO_OVERFLOW_SIMPLE | 0 | ar->spectral.rfs_chan_spec_scan->subbuf_size | |
| UNITS | 0 | ar | unit_byte |
| HALF_LOCKED2 | 0 | &ar->conf_mutex |