Defined in 1 files as a prototype:
Defined in 1 files as a function:
Referenced in 2 files:
Smatch caller information:
drivers/net/wireless/ath/ath12k/dp.c ath12k_dp_pdev_alloc() -> ath12k_dp_pdev_free()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | ab | 4096-ptr_max |
| PARAM_VALUE | 0 | ab->debugfs_soc->d_inode->i_rwsem.first_waiter->handoff_set | 0-1 |
| PARAM_VALUE | 0 | ab->debugfs_soc->d_inode->i_rwsem.first_waiter->type | 0-1 |
| PARAM_VALUE | 0 | ab->dp | 4096-ptr_max |
| PARAM_VALUE | 0 | ab->dp->eid | s32min-8 |
| PARAM_VALUE | 0 | ab->htc.ab->ce.ce_lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | ab->htc.ab->dev->dma_io_tlb_mem->can_grow | 0-1 |
| PARAM_VALUE | 0 | ab->htc.ab->dev->dma_io_tlb_pools.next->prev | 4096-ptr_max |
| PARAM_VALUE | 0 | ab->htc.ab->dev->dma_io_tlb_pools.next->prev->prev | 4096-ptr_max |
| PARAM_VALUE | 0 | ab->htc.ab->dev->iommu->pci_32bit_workaround | 0-1 |
| PARAM_VALUE | 0 | ab->htc.ab->drv_priv->window_lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | ab->htc.tx_lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | ab->hw_params | 4096-ptr_max |
| PARAM_VALUE | 0 | ab->hw_params->num_rxdma_dst_ring | 0-1 |
| PARAM_VALUE | 0 | ab->hw_params->num_rxdma_per_pdev | 1-2 |
| PARAM_VALUE | 0 | ab->num_radios | 1-s32max |
| PARAM_VALUE | 0 | ab->pdevs | 4096-ptr_max |
| CAPPED_DATA | 0 | ab->hw_params->num_rxdma_dst_ring | 1 |
| CAPPED_DATA | 0 | ab->hw_params->num_rxdma_per_pdev | 1 |
| DATA_SOURCE | 0 | ab | $0 |
| FUZZY_MAX | 0 | ab->num_radios | 1 |
| NOCHECK_CALL | |||
| LOCK2 | &ag->mutex | ||
| LOCK2 | &pool->lock | ||
| LOCK2 | _T->lock | ||
| TYPE_LOCK | (struct ath12k_hw_group)->mutex |
drivers/net/wireless/ath/ath12k/core.c ath12k_core_pdev_create() -> ath12k_dp_pdev_free()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | ab | 4096-ptr_max |
| PARAM_VALUE | 0 | ab->dev | 0,4096-ptr_max |
| PARAM_VALUE | 0 | ab->dev->bus | 0,4096-ptr_max |
| PARAM_VALUE | 0 | ab->dev->class | 0,4096-ptr_max |
| PARAM_VALUE | 0 | ab->dev->driver | 0,4096-ptr_max |
| PARAM_VALUE | 0 | ab->dp | 4096-ptr_max |
| PARAM_VALUE | 0 | ab->dp->eid | s32min-8 |
| PARAM_VALUE | 0 | ab->htc.ab->ce.ce_lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | ab->htc.ab->dev->dma_io_tlb_pools.next->prev | 4096-ptr_max |
| PARAM_VALUE | 0 | ab->htc.ab->dev->dma_io_tlb_pools.next->prev->prev | 4096-ptr_max |
| PARAM_VALUE | 0 | ab->htc.ab->dev->dma_uses_io_tlb | 1 |
| PARAM_VALUE | 0 | ab->htc.ab->dev->iommu->attach_deferred | 0-1 |
| PARAM_VALUE | 0 | ab->htc.ab->dev->iommu->pci_32bit_workaround | 0-1 |
| PARAM_VALUE | 0 | ab->htc.ab->drv_priv->register_window | 0-4294967295 |
| PARAM_VALUE | 0 | ab->htc.tx_lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | ab->hw_params->num_rxdma_dst_ring | 0-1 |
| PARAM_VALUE | 0 | ab->hw_params->num_rxdma_per_pdev | 1-2 |
| PARAM_VALUE | 0 | ab->num_radios | 1-s32max |
| CAPPED_DATA | 0 | ab->hw_params->num_rxdma_dst_ring | 1 |
| CAPPED_DATA | 0 | ab->hw_params->num_rxdma_per_pdev | 1 |
| CAPPED_DATA | 0 | ab->num_radios | 1 |
| DATA_SOURCE | 0 | ab | $0 |
| NOCHECK_CALL | |||
| LOCK2 | &ag->mutex | ||
| LOCK2 | &pool->lock | ||
| LOCK2 | _T->lock | ||
| TYPE_LOCK | (struct ath12k_hw_group)->mutex |
drivers/net/wireless/ath/ath12k/core.c ath12k_core_pdev_destroy() -> ath12k_dp_pdev_free()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | ab | 4096-ptr_max |
| PARAM_VALUE | 0 | ab->core_lock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | ab->core_lock.first_waiter | 0,4096-ptr_max |
| PARAM_VALUE | 0 | ab->core_lock.first_waiter->list.prev->next | 5159360019465732096 |
| PARAM_VALUE | 0 | ab->core_lock.osq.tail.counter | 0-s32max |
| PARAM_VALUE | 0 | ab->core_lock.wait_lock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | ab->core_lock.wait_lock.owner | (-1) |
| PARAM_VALUE | 0 | ab->core_lock.wait_lock.owner_cpu | u32max |
| PARAM_VALUE | 0 | ab->hif.ops | 4096-ptr_max |
| PARAM_VALUE | 0 | ab->hif.ops->irq_disable | 4096-ptr_max |
| CAPPED_DATA | 0 | ab->num_radios | 1 |
| DATA_SOURCE | 0 | ab | $0 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| LOCK2 | &ag->mutex | ||
| LOCK2 | 0 | &ab->core_lock | |
| HALF_LOCKED2 | &pool->lock | ||
| TYPE_LOCK | (struct ath12k_base)->core_lock | ||
| TYPE_LOCK | (struct ath12k_hw_group)->mutex |
drivers/net/wireless/ath/ath12k/core.c ath12k_core_reconfigure_on_crash() -> ath12k_dp_pdev_free()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | ab | 4096-ptr_max |
| PARAM_VALUE | 0 | ab->core_lock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | ab->core_lock.first_waiter | 0,4096-ptr_max |
| PARAM_VALUE | 0 | ab->core_lock.first_waiter->list.prev->next | 5159360019465732096 |
| PARAM_VALUE | 0 | ab->core_lock.osq.tail.counter | 0-s32max |
| PARAM_VALUE | 0 | ab->core_lock.wait_lock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | ab->core_lock.wait_lock.owner | (-1) |
| PARAM_VALUE | 0 | ab->core_lock.wait_lock.owner_cpu | u32max |
| PARAM_VALUE | 0 | ab->rhead_sta_addr | 0 |
| CAPPED_DATA | 0 | ab->num_radios | 1 |
| CAPPED_DATA | 0 | &ab->core_lock | 1 |
| DATA_SOURCE | 0 | ab | $0 |
| NOCHECK_CALL | |||
| LOCK2 | 0 | &ab->core_lock | |
| HALF_LOCKED2 | &pool->lock | ||
| TYPE_LOCK | (struct ath12k_base)->core_lock |