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