Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/net/wireless/ath/ath12k/dp.c ath12k_dp_cc_init() -> ath12k_dp_cmem_init()

Type Parameter Key Value
PARAM_VALUE 0 ab 4096-ptr_max
PARAM_VALUE 0 ab->dev->cma_area->nranges s32min-s32max
PARAM_VALUE 0 ab->dev->dma_mem->spinlock.rlock.dep_map->name 0-255
PARAM_VALUE 0 ab->dev->iommu->pci_32bit_workaround 0-1
PARAM_VALUE 0 ab->dp 4096-ptr_max
PARAM_VALUE 0 ab->dp->ab 4096-ptr_max
PARAM_VALUE 0 ab->dp->idle_link_rbm 1-3
PARAM_VALUE 0 ab->dp->link_peer_rhash_tbl_lock.dep_map->name 0-255
PARAM_VALUE 0 ab->dp->link_peer_rhash_tbl_lock.first_waiter->list.prev->next 5159360019465732096
PARAM_VALUE 0 ab->dp->link_peer_rhash_tbl_lock.first_waiter->list.prev->prev 5159360019465732096
PARAM_VALUE 0 ab->dp->link_peer_rhash_tbl_lock.first_waiter->task->blocked_lock.dep_map->name 0-255
PARAM_VALUE 0 ab->dp->link_peer_rhash_tbl_lock.first_waiter->task->blocked_lock.owner (-1)
PARAM_VALUE 0 ab->dp->link_peer_rhash_tbl_lock.first_waiter->task->blocked_lock.owner_cpu 4294967295
PARAM_VALUE 0 ab->dp->link_peer_rhash_tbl_lock.first_waiter->task->usage.refs.counter s32min-s32max
PARAM_VALUE 0 ab->dp->link_peer_rhash_tbl_lock.osq.tail.counter 0-s32max
PARAM_VALUE 0 ab->dp->num_spt_pages 0-1024
PARAM_VALUE 0 ab->dp->peers.next 4096-ptr_max
PARAM_VALUE 0 ab->dp->peers.next->next 4096-ptr_max
PARAM_VALUE 0 ab->dp->peers.prev 4096-ptr_max
PARAM_VALUE 0 ab->dp->peers.prev->next 4096-ptr_max
PARAM_VALUE 0 ab->dp->peers.prev->prev 4096-ptr_max
PARAM_VALUE 0 ab->dp->reo_cmd_cache_flush_count 0
PARAM_VALUE 0 ab->dp->reo_cmd_cache_flush_list.next 4096-ptr_max
PARAM_VALUE 0 ab->dp->reo_cmd_cache_flush_list.next->next 4096-ptr_max
PARAM_VALUE 0 ab->dp->reo_cmd_cache_flush_list.prev 4096-ptr_max
PARAM_VALUE 0 ab->dp->reo_cmd_cache_flush_list.prev->next 4096-ptr_max
PARAM_VALUE 0 ab->dp->reo_cmd_cache_flush_list.prev->prev 4096-ptr_max
PARAM_VALUE 0 ab->dp->reo_cmd_list.next 4096-ptr_max
PARAM_VALUE 0 ab->dp->reo_cmd_list.next->next 4096-ptr_max
PARAM_VALUE 0 ab->dp->reo_cmd_list.prev 4096-ptr_max
PARAM_VALUE 0 ab->dp->reo_cmd_list.prev->next 4096-ptr_max
PARAM_VALUE 0 ab->dp->reo_cmd_list.prev->prev 4096-ptr_max
PARAM_VALUE 0 ab->dp->reo_cmd_update_rx_queue_list.next 4096-ptr_max
PARAM_VALUE 0 ab->dp->reo_cmd_update_rx_queue_list.next->next 4096-ptr_max
PARAM_VALUE 0 ab->dp->reo_cmd_update_rx_queue_list.prev 4096-ptr_max
PARAM_VALUE 0 ab->dp->reo_cmd_update_rx_queue_list.prev->next 4096-ptr_max
PARAM_VALUE 0 ab->dp->reo_cmd_update_rx_queue_list.prev->prev 4096-ptr_max
PARAM_VALUE 0 ab->dp->rhash_peer_addr_param.automatic_shrinking 1
PARAM_VALUE 0 ab->dp->rhash_peer_addr_param.head_offset 96
PARAM_VALUE 0 ab->dp->rhash_peer_addr_param.key_len 6
PARAM_VALUE 0 ab->dp->rhash_peer_addr_param.key_offset 36
PARAM_VALUE 0 ab->dp->rhead_peer_addr 4096-ptr_max
PARAM_VALUE 0 ab->dp->rhead_peer_addr->key_len 0-u16max
PARAM_VALUE 0 ab->dp->rhead_peer_addr->max_elems 0-2147483646,2147483648
PARAM_VALUE 0 ab->dp->rhead_peer_addr->p.min_size 4-u16max
PARAM_VALUE 0 ab->dp->rx_desc_free_list.next 4096-ptr_max
PARAM_VALUE 0 ab->dp->rx_desc_free_list.next->next 4096-ptr_max
PARAM_VALUE 0 ab->dp->rx_desc_free_list.prev 4096-ptr_max
PARAM_VALUE 0 ab->dp->rx_desc_free_list.prev->next 4096-ptr_max
PARAM_VALUE 0 ab->dp->rx_desc_free_list.prev->prev 4096-ptr_max
PARAM_VALUE 0 ab->dp->spt_info 16,4096-ptr_max
PARAM_VALUE 0 ab->dp->tx_desc_free_list 4096-ptr_max
PARAM_VALUE 0 ab->dp->tx_desc_lock 4096-ptr_max
PARAM_VALUE 0 ab->dp->tx_desc_used_list 4096-ptr_max
PARAM_VALUE 0 ab->dp->wbm_idle_ring->vaddr 0-u32max
PARAM_VALUE 0 ab->dp->wbm_idle_ring->vaddr_unaligned 0-u32max
PARAM_VALUE 0 ab->dp->wbm_idle_ring.ring_id 0-206
PARAM_VALUE 0 ab->dp->wbm_idle_ring.size 7
PARAM_VALUE 0 ab->dp->wbm_idle_ring.vaddr 0,8-ptr_max
PARAM_VALUE 0 ab->dp->wbm_idle_ring.vaddr_unaligned 1-ptr_max
PARAM_VALUE 0 ab->drv_priv->mhi_ctrl->mhi_dev->dev_wake 0-4294967295
PARAM_VALUE 0 ab->drv_priv->mhi_ctrl->mhi_dev->mhi_cntrl->cntrl_dev->power.deferred_resume 0-1
PARAM_VALUE 0 ab->drv_priv->mhi_ctrl->mhi_dev->mhi_cntrl->cntrl_dev->power.idle_notification 0-1
PARAM_VALUE 0 ab->drv_priv->mhi_ctrl->mhi_dev->mhi_cntrl->cntrl_dev->power.request 0-4
PARAM_VALUE 0 ab->drv_priv->mhi_ctrl->mhi_dev->mhi_cntrl->cntrl_dev->power.request_pending 0-1
PARAM_VALUE 0 ab->drv_priv->mhi_ctrl->mhi_dev->mhi_cntrl->cntrl_dev->power.runtime_status s32min-s32max
PARAM_VALUE 0 ab->drv_priv->mhi_ctrl->mhi_dev->mhi_cntrl->cntrl_dev->power.timer_autosuspends 0-1
PARAM_VALUE 0 ab->drv_priv->mhi_ctrl->mhi_dev->mhi_cntrl->cntrl_dev->power.usage_count.counter s32min-s32max
PARAM_VALUE 0 ab->drv_priv->mhi_ctrl->mhi_dev->mhi_cntrl->dev_wake.counter s32min-s32max
PARAM_VALUE 0 ab->drv_priv->mhi_ctrl->mhi_dev->mhi_cntrl->wake_set 0-1
PARAM_VALUE 0 ab->drv_priv->window_lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 ab->hal.ops 4096-ptr_max
PARAM_VALUE 0 ab->hal.ops->get_idle_link_rbm 4096-ptr_max
PARAM_VALUE 0 ab->hal.srng_list 4096-ptr_max
PARAM_VALUE 0 ab->profile_param 4096-ptr_max
PARAM_VALUE 1 dp 4096-ptr_max
PARAM_VALUE 1 dp->num_spt_pages 0-1024
PARAM_VALUE 1 dp->rx_desc_free_list.next 4096-ptr_max
PARAM_VALUE 1 dp->rx_desc_free_list.next->next 4096-ptr_max
PARAM_VALUE 1 dp->rx_desc_free_list.prev 4096-ptr_max
PARAM_VALUE 1 dp->rx_desc_free_list.prev->next 4096-ptr_max
PARAM_VALUE 1 dp->rx_desc_free_list.prev->prev 4096-ptr_max
PARAM_VALUE 1 dp->spt_info 16,4096-ptr_max
PARAM_VALUE 1 dp->tx_desc_free_list 4096-ptr_max
PARAM_VALUE 1 dp->tx_desc_lock 4096-ptr_max
PARAM_VALUE 1 dp->tx_desc_used_list 4096-ptr_max
PARAM_VALUE 2 type 0
BUF_SIZE 1 dp->spt_info 0-16384
CAPPED_DATA 1 dp->num_spt_pages 1
DATA_SOURCE 0 ab $0
FUZZY_MAX 0 ab->dp->num_spt_pages 1024
FUZZY_MAX 1 dp->num_spt_pages 1024
PARAM_COMPARE 0 ab->dp == $1
PARAM_COMPARE 1 dp == $0->dp
HARD_MAX 0 ab->dp->num_spt_pages 1024
HARD_MAX 1 dp->num_spt_pages 1024
NO_OVERFLOW_SIMPLE 1 dp->num_spt_pages
LOCK2 &pool->lock

drivers/net/wireless/ath/ath12k/dp.c ath12k_dp_cc_init() -> ath12k_dp_cmem_init()

Type Parameter Key Value
PARAM_VALUE 0 ab 4096-ptr_max
PARAM_VALUE 0 ab->dev->cma_area->nranges s32min-s32max
PARAM_VALUE 0 ab->dev->dma_mem->spinlock.rlock.dep_map->name 0-255
PARAM_VALUE 0 ab->dev->iommu->pci_32bit_workaround 0-1
PARAM_VALUE 0 ab->dev->iommu_group->default_domain 0-s64max
PARAM_VALUE 0 ab->dp 4096-ptr_max
PARAM_VALUE 0 ab->dp->ab 4096-ptr_max
PARAM_VALUE 0 ab->dp->idle_link_rbm 1-3
PARAM_VALUE 0 ab->dp->link_peer_rhash_tbl_lock.dep_map->name 0-255
PARAM_VALUE 0 ab->dp->link_peer_rhash_tbl_lock.first_waiter->list.prev->next 5159360019465732096
PARAM_VALUE 0 ab->dp->link_peer_rhash_tbl_lock.first_waiter->list.prev->prev 5159360019465732096
PARAM_VALUE 0 ab->dp->link_peer_rhash_tbl_lock.first_waiter->task->blocked_lock.dep_map->name 0-255
PARAM_VALUE 0 ab->dp->link_peer_rhash_tbl_lock.first_waiter->task->blocked_lock.owner (-1)
PARAM_VALUE 0 ab->dp->link_peer_rhash_tbl_lock.first_waiter->task->blocked_lock.owner_cpu 4294967295
PARAM_VALUE 0 ab->dp->link_peer_rhash_tbl_lock.first_waiter->task->usage.refs.counter s32min-s32max
PARAM_VALUE 0 ab->dp->link_peer_rhash_tbl_lock.osq.tail.counter 0-s32max
PARAM_VALUE 0 ab->dp->num_spt_pages 0-1024
PARAM_VALUE 0 ab->dp->peers.next 4096-ptr_max
PARAM_VALUE 0 ab->dp->peers.next->next 4096-ptr_max
PARAM_VALUE 0 ab->dp->peers.prev 4096-ptr_max
PARAM_VALUE 0 ab->dp->peers.prev->next 4096-ptr_max
PARAM_VALUE 0 ab->dp->peers.prev->prev 4096-ptr_max
PARAM_VALUE 0 ab->dp->reo_cmd_cache_flush_count 0
PARAM_VALUE 0 ab->dp->reo_cmd_cache_flush_list.next 4096-ptr_max
PARAM_VALUE 0 ab->dp->reo_cmd_cache_flush_list.next->next 4096-ptr_max
PARAM_VALUE 0 ab->dp->reo_cmd_cache_flush_list.prev 4096-ptr_max
PARAM_VALUE 0 ab->dp->reo_cmd_cache_flush_list.prev->next 4096-ptr_max
PARAM_VALUE 0 ab->dp->reo_cmd_cache_flush_list.prev->prev 4096-ptr_max
PARAM_VALUE 0 ab->dp->reo_cmd_list.next 4096-ptr_max
PARAM_VALUE 0 ab->dp->reo_cmd_list.next->next 4096-ptr_max
PARAM_VALUE 0 ab->dp->reo_cmd_list.prev 4096-ptr_max
PARAM_VALUE 0 ab->dp->reo_cmd_list.prev->next 4096-ptr_max
PARAM_VALUE 0 ab->dp->reo_cmd_list.prev->prev 4096-ptr_max
PARAM_VALUE 0 ab->dp->reo_cmd_update_rx_queue_list.next 4096-ptr_max
PARAM_VALUE 0 ab->dp->reo_cmd_update_rx_queue_list.next->next 4096-ptr_max
PARAM_VALUE 0 ab->dp->reo_cmd_update_rx_queue_list.prev 4096-ptr_max
PARAM_VALUE 0 ab->dp->reo_cmd_update_rx_queue_list.prev->next 4096-ptr_max
PARAM_VALUE 0 ab->dp->reo_cmd_update_rx_queue_list.prev->prev 4096-ptr_max
PARAM_VALUE 0 ab->dp->rhash_peer_addr_param.automatic_shrinking 1
PARAM_VALUE 0 ab->dp->rhash_peer_addr_param.head_offset 96
PARAM_VALUE 0 ab->dp->rhash_peer_addr_param.key_len 6
PARAM_VALUE 0 ab->dp->rhash_peer_addr_param.key_offset 36
PARAM_VALUE 0 ab->dp->rhead_peer_addr 4096-ptr_max
PARAM_VALUE 0 ab->dp->rhead_peer_addr->key_len 0-u16max
PARAM_VALUE 0 ab->dp->rhead_peer_addr->max_elems 0-2147483646,2147483648
PARAM_VALUE 0 ab->dp->rhead_peer_addr->p.min_size 4-u16max
PARAM_VALUE 0 ab->dp->rx_desc_free_list.next 4096-ptr_max
PARAM_VALUE 0 ab->dp->rx_desc_free_list.next->next 4096-ptr_max
PARAM_VALUE 0 ab->dp->rx_desc_free_list.prev 4096-ptr_max
PARAM_VALUE 0 ab->dp->rx_desc_free_list.prev->next 4096-ptr_max
PARAM_VALUE 0 ab->dp->rx_desc_free_list.prev->prev 4096-ptr_max
PARAM_VALUE 0 ab->dp->spt_info 16,4096-ptr_max
PARAM_VALUE 0 ab->dp->tx_desc_free_list 4096-ptr_max
PARAM_VALUE 0 ab->dp->tx_desc_lock 4096-ptr_max
PARAM_VALUE 0 ab->dp->tx_desc_used_list 4096-ptr_max
PARAM_VALUE 0 ab->dp->wbm_idle_ring->vaddr 0-u32max
PARAM_VALUE 0 ab->dp->wbm_idle_ring->vaddr_unaligned 0-u32max
PARAM_VALUE 0 ab->dp->wbm_idle_ring.ring_id 0-206
PARAM_VALUE 0 ab->dp->wbm_idle_ring.size 7
PARAM_VALUE 0 ab->dp->wbm_idle_ring.vaddr 0,8-ptr_max
PARAM_VALUE 0 ab->dp->wbm_idle_ring.vaddr_unaligned 1-ptr_max
PARAM_VALUE 0 ab->drv_priv->window_lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 ab->hal.ops 4096-ptr_max
PARAM_VALUE 0 ab->hal.ops->get_idle_link_rbm 4096-ptr_max
PARAM_VALUE 0 ab->hal.srng_list 4096-ptr_max
PARAM_VALUE 0 ab->profile_param 4096-ptr_max
PARAM_VALUE 1 dp 4096-ptr_max
PARAM_VALUE 1 dp->num_spt_pages 0-1024
PARAM_VALUE 1 dp->rx_desc_free_list.next 4096-ptr_max
PARAM_VALUE 1 dp->rx_desc_free_list.next->next 4096-ptr_max
PARAM_VALUE 1 dp->rx_desc_free_list.prev 4096-ptr_max
PARAM_VALUE 1 dp->rx_desc_free_list.prev->next 4096-ptr_max
PARAM_VALUE 1 dp->rx_desc_free_list.prev->prev 4096-ptr_max
PARAM_VALUE 1 dp->spt_info 16,4096-ptr_max
PARAM_VALUE 1 dp->tx_desc_free_list 4096-ptr_max
PARAM_VALUE 1 dp->tx_desc_lock 4096-ptr_max
PARAM_VALUE 1 dp->tx_desc_used_list 4096-ptr_max
PARAM_VALUE 2 type 1
BUF_SIZE 1 dp->spt_info 0-16384
CAPPED_DATA 1 dp->num_spt_pages 1
DATA_SOURCE 0 ab $0
FUZZY_MAX 0 ab->dp->num_spt_pages 1024
FUZZY_MAX 1 dp->num_spt_pages 1024
PARAM_COMPARE 0 ab->dp == $1
PARAM_COMPARE 1 dp == $0->dp
HARD_MAX 0 ab->dp->num_spt_pages 1024
HARD_MAX 1 dp->num_spt_pages 1024
NO_OVERFLOW_SIMPLE 1 dp->num_spt_pages
LOCK2 &pool->lock

drivers/net/wireless/ath/ath12k/dp.c ath12k_dp_partner_cc_init() -> ath12k_dp_cmem_init()

Type Parameter Key Value
PARAM_VALUE 0 ab 4096-ptr_max
PARAM_VALUE 0 ab->ag->ab 4096-ptr_max
PARAM_VALUE 0 ab->ag->num_devices 1-255
PARAM_VALUE 2 type 1
CAPPED_DATA 0 ab 1
DATA_SOURCE 0 ab $0
NOCHECK_CALL
LOCK2 &ag->mutex
LOCK2 &pool->lock
TYPE_LOCK (struct ath12k_hw_group)->mutex