ipa_mem_exit identifier - Linux source code next-20260811

Projects

linux

Versions

FIXME
- FIXME
  - next-20260811

Defined in 1 files as a prototype:

drivers/net/ipa/ipa_mem.h, line 109 (as a prototype)

Defined in 1 files as a function:

drivers/net/ipa/ipa_mem.c, line 700 (as a function)

Referenced in 1 files:

drivers/net/ipa/ipa_main.c
- line 929
- line 994

Smatch caller information:

drivers/net/ipa/ipa_main.c ipa_probe() -> ipa_mem_exit()

Type	Parameter	Key	Value
PARAM_VALUE	0	ipa	4096-ptr_max
PARAM_VALUE	0	ipa->completion.done	0
PARAM_VALUE	0	ipa->completion.wait.lock.magic	3735899821
PARAM_VALUE	0	ipa->completion.wait.lock.owner	(-1)
PARAM_VALUE	0	ipa->completion.wait.lock.owner_cpu	u32max
PARAM_VALUE	0	ipa->completion.wait.task_list.next	4096-ptr_max
PARAM_VALUE	0	ipa->completion.wait.task_list.next->next	4096-ptr_max
PARAM_VALUE	0	ipa->completion.wait.task_list.prev	4096-ptr_max
PARAM_VALUE	0	ipa->completion.wait.task_list.prev->next	4096-ptr_max
PARAM_VALUE	0	ipa->completion.wait.task_list.prev->prev	4096-ptr_max
PARAM_VALUE	0	ipa->defined	0
PARAM_VALUE	0	ipa->dev	4096-ptr_max
PARAM_VALUE	0	ipa->dev->cma_area->alloc_mutex.first_waiter->list.prev->next	5159360019465732096
PARAM_VALUE	0	ipa->dev->cma_area->alloc_mutex.first_waiter->list.prev->prev	5159360019465732096
PARAM_VALUE	0	ipa->dev->cma_area->alloc_mutex.osq.tail.counter	0-s32max
PARAM_VALUE	0	ipa->dev->cma_area->lock.rlock.dep_map->name	0-255
PARAM_VALUE	0	ipa->dev->cma_area->nranges	s32min-s32max
PARAM_VALUE	0	ipa->dev->dma_io_tlb_lock.rlock.dep_map->name	0-255
PARAM_VALUE	0	ipa->dev->dma_io_tlb_pools.next	4096-ptr_max
PARAM_VALUE	0	ipa->dev->dma_io_tlb_pools.next->prev	4096-ptr_max
PARAM_VALUE	0	ipa->dev->dma_io_tlb_pools.next->prev->prev	4096-ptr_max
PARAM_VALUE	0	ipa->dev->dma_mem->spinlock.rlock.dep_map->name	0-255
PARAM_VALUE	0	ipa->dev->dma_uses_io_tlb	1
PARAM_VALUE	0	ipa->dev->driver	4096-ptr_max
PARAM_VALUE	0	ipa->dev->iommu->attach_deferred	0-1
PARAM_VALUE	0	ipa->dev->of_node	4096-ptr_max
PARAM_VALUE	0	ipa->dev->power.autosuspend_delay	500
PARAM_VALUE	0	ipa->dev->power.last_status	(-1)
PARAM_VALUE	0	ipa->dev->power.qos	0,4096-u64max
PARAM_VALUE	0	ipa->dev->power.request	0-4
PARAM_VALUE	0	ipa->dev->power.runtime_error	s32min-(-17),(-15)-(-14),(-12),(-10)-s32max
PARAM_VALUE	0	ipa->dev->power.runtime_status	0,2
PARAM_VALUE	0	ipa->dev->power.use_autosuspend	1
PARAM_VALUE	0	ipa->dev->power.wakeirq->status	0-4294967295
PARAM_VALUE	0	ipa->endpoint_count	1-256
PARAM_VALUE	0	ipa->filter_count	1-643
PARAM_VALUE	0	ipa->imem_iova	0,4096-u64max
PARAM_VALUE	0	ipa->imem_size	4096-u64max
PARAM_VALUE	0	ipa->interrupt	0,4096-ptr_max
PARAM_VALUE	0	ipa->mem	4096-ptr_max
PARAM_VALUE	0	ipa->mem->canary_count	0-2,4
PARAM_VALUE	0	ipa->mem->id	0-20,25-29
PARAM_VALUE	0	ipa->mem->offset	0,128,648,656,776,784,792,904,920,928,1032,1056,1064,1160,1192,1288,1320,1416,1480,1520,1544,1640,1672,1800,2000,2032,2248,2376,2512,2552,2640,2736,2768,2880,3032,3056,3280,3808,4096,4224,4744,4872,5000,5128,5256-u32max
PARAM_VALUE	0	ipa->mem->size	0,32,48,72,80,96,120,128,152,256,280,320,392,480,512,552,568,576,960,1024,2048,2304,2848,2976,3328,3400,4096,4108,4132,5132,5156
PARAM_VALUE	0	ipa->mem_count	15,18,22-25
PARAM_VALUE	0	ipa->mem_virt	1-u64max
PARAM_VALUE	0	ipa->modem_route_count	1-u32max
PARAM_VALUE	0	ipa->power	4096-ptr_max
PARAM_VALUE	0	ipa->qmi.client_handle.handlers->decoded_size	0-1,4,20,25,46,72,322,2504
PARAM_VALUE	0	ipa->qmi.client_handle.handlers->ei	0,4096-ptr_max
PARAM_VALUE	0	ipa->qmi.client_handle.handlers->fn	0,4096-ptr_max
PARAM_VALUE	0	ipa->qmi.client_handle.handlers->msg_id	0-1,32-34,36,43,53,55-56,62
PARAM_VALUE	0	ipa->qmi.client_handle.handlers->type	0,2,4
PARAM_VALUE	0	ipa->qmi.server_handle.handlers->decoded_size	0-1,4,20,25,46,72,322,2504
PARAM_VALUE	0	ipa->qmi.server_handle.handlers->ei	0,4096-ptr_max
PARAM_VALUE	0	ipa->qmi.server_handle.handlers->fn	0,4096-ptr_max
PARAM_VALUE	0	ipa->qmi.server_handle.handlers->msg_id	0-1,32-34,36,43,53,55-56,62
PARAM_VALUE	0	ipa->qmi.server_handle.handlers->type	0,2,4
PARAM_VALUE	0	ipa->route_count	2-644
PARAM_VALUE	0	ipa->smem_iova	0,4096-u64max
PARAM_VALUE	0	ipa->smem_size	4096-u64max
PARAM_VALUE	0	ipa->smp2p->enabled_state->refcount.refcount.refs.counter	s32min-s32max
PARAM_VALUE	0	ipa->smp2p->valid_state->refcount.refcount.refs.counter	s32min-s32max
PARAM_VALUE	0	ipa->table_addr	0
BUF_SIZE	0	ipa	34128
BUF_SIZE	0	ipa->dev	1616
BUF_SIZE	0	ipa->interrupt	(-1),24
BUF_SIZE	0	ipa->power	80-104
CAPPED_DATA	0	ipa->dev	1
DATA_SOURCE	0	ipa	r _kzalloc_noprof
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
NO_OVERFLOW_SIMPLE	0	ipa->gsi.irq

drivers/net/ipa/ipa_main.c ipa_remove() -> ipa_mem_exit()

Type	Parameter	Key	Value
PARAM_VALUE	0	ipa	4096-ptr_max
PARAM_VALUE	0	ipa->available	0
PARAM_VALUE	0	ipa->available_count	0
PARAM_VALUE	0	ipa->defined	0
PARAM_VALUE	0	ipa->dev	4096-ptr_max
PARAM_VALUE	0	ipa->dev->bus	0,4096-ptr_max
PARAM_VALUE	0	ipa->dev->class	0,4096-ptr_max
PARAM_VALUE	0	ipa->dev->cma_area->lock.rlock.dep_map->name	0-255
PARAM_VALUE	0	ipa->dev->cma_area->nranges	s32min-s32max
PARAM_VALUE	0	ipa->dev->dma_mem->spinlock.rlock.dep_map->name	0-255
PARAM_VALUE	0	ipa->dev->pins->p	0,4096-s64max
PARAM_VALUE	0	ipa->dev->power.request	0-4
PARAM_VALUE	0	ipa->dev->power.runtime_error	s32min-(-17),(-15)-(-14),(-12),(-10)-s32max
PARAM_VALUE	0	ipa->dev->power.runtime_status	0,2
PARAM_VALUE	0	ipa->dev->power.wakeirq	0,4096-ptr_max
PARAM_VALUE	0	ipa->dev->power.wakeirq->status	0-4294967295
PARAM_VALUE	0	ipa->dev->type	0,4096-ptr_max
PARAM_VALUE	0	ipa->enabled	0
PARAM_VALUE	0	ipa->endpoint_count	0-64
PARAM_VALUE	0	ipa->filtered	0
PARAM_VALUE	0	ipa->gsi.dummy_dev	4096-ptr_max
PARAM_VALUE	0	ipa->gsi.dummy_dev->core_stats	0
PARAM_VALUE	0	ipa->gsi.dummy_dev->dev.kobj.release->timer->entry.pprev	4096-ptr_max
PARAM_VALUE	0	ipa->gsi.dummy_dev->dev.kobj.release.work.entry.next->prev	4096-ptr_max
PARAM_VALUE	0	ipa->gsi.dummy_dev->dev_addr	0
PARAM_VALUE	0	ipa->gsi.dummy_dev->dev_addrs.count	0
PARAM_VALUE	0	ipa->gsi.dummy_dev->link_topo	0
PARAM_VALUE	0	ipa->gsi.dummy_dev->lock.dep_map->name	0-255
PARAM_VALUE	0	ipa->gsi.dummy_dev->lock.first_waiter->list.prev->next	5159360019465732096
PARAM_VALUE	0	ipa->gsi.dummy_dev->lock.first_waiter->list.prev->prev	5159360019465732096
PARAM_VALUE	0	ipa->gsi.dummy_dev->lock.first_waiter->task->blocked_lock.dep_map->name	0-255
PARAM_VALUE	0	ipa->gsi.dummy_dev->lock.magic	0
PARAM_VALUE	0	ipa->gsi.dummy_dev->needs_free_netdev	1
PARAM_VALUE	0	ipa->gsi.dummy_dev->pcpu_refcnt	0
PARAM_VALUE	0	ipa->gsi.dummy_dev->refcnt_tracker.dead	1
PARAM_VALUE	0	ipa->gsi.dummy_dev->reg_state	4
PARAM_VALUE	0	ipa->gsi.dummy_dev->rx_cpu_rmap	0
PARAM_VALUE	0	ipa->gsi.dummy_dev->rx_cpu_rmap_auto	0
PARAM_VALUE	0	ipa->gsi.dummy_dev->xdp_bulkq	0
PARAM_VALUE	0	ipa->gsi.modem_channel_bitmap	0
PARAM_VALUE	0	ipa->gsi.regs	0
PARAM_VALUE	0	ipa->gsi.virt	0
PARAM_VALUE	0	ipa->nb.next	0
PARAM_VALUE	0	ipa->nb.notifier_call	0
PARAM_VALUE	0	ipa->nb.priority	0
PARAM_VALUE	0	ipa->notifier	0
PARAM_VALUE	0	ipa->power->qmp->mbox_chan->con_priv->chan_in_use	1
PARAM_VALUE	0	ipa->power->qmp->mbox_chan->con_priv->control_scb->cache->cached_rbnode->base_reg	0-4294967295
PARAM_VALUE	0	ipa->power->qmp->mbox_chan->con_priv->control_scb->cache->cached_rbnode->blklen	0-4294967295
PARAM_VALUE	0	ipa->power->qmp->mbox_chan->con_priv->control_scb->cache_dirty	1
PARAM_VALUE	0	ipa->power->qmp->mbox_chan->con_priv->dir	1
PARAM_VALUE	0	ipa->power->qmp->mbox_chan->con_priv->pdc_requests	0-4294967295
PARAM_VALUE	0	ipa->power->qmp->mbox_chan->con_priv->pdev->dev.dma_uses_io_tlb	0-1
PARAM_VALUE	0	ipa->power->qmp->mbox_chan->con_priv->pdev->dev.iommu->attach_deferred	0-1
PARAM_VALUE	0	ipa->power->qmp->mbox_chan->con_priv->pdev->dev.iommu->pci_32bit_workaround	0-1
PARAM_VALUE	0	ipa->power->qmp->mbox_chan->con_priv->resp_offset	0-u16max
PARAM_VALUE	0	ipa->power->qmp->mbox_chan->con_priv->response->resp_size	0-1,32-33
PARAM_VALUE	0	ipa->power->qmp->mbox_chan->con_priv->response->resp_status	0-u16max
PARAM_VALUE	0	ipa->power->qmp->mbox_chan->con_priv->rx_buf_pool->dev->dma_uses_io_tlb	1
PARAM_VALUE	0	ipa->power->qmp->mbox_chan->con_priv->rx_buf_pool->dev->iommu->attach_deferred	0-1
PARAM_VALUE	0	ipa->power->qmp->mbox_chan->con_priv->rx_buf_pool->dev->iommu->priv->ppr	1
PARAM_VALUE	0	ipa->power->qmp->mbox_chan->con_priv->rx_msg_start	0-4294967295
PARAM_VALUE	0	ipa->power->qmp->mbox_chan->con_priv->rx_ring_full	0-4294967295
PARAM_VALUE	0	ipa->power->qmp->mbox_chan->con_priv->rxnobuf	0-4294967295
PARAM_VALUE	0	ipa->power->qmp->mbox_chan->con_priv->rxout	0-4294967295
PARAM_VALUE	0	ipa->power->qmp->mbox_chan->con_priv->tx_msg_start	0-4294967295
PARAM_VALUE	0	ipa->power->qmp->mbox_chan->con_priv->tx_ring_full	0-4294967295
PARAM_VALUE	0	ipa->power->qmp->mbox_chan->con_priv->txnobuf	0-4294967295
PARAM_VALUE	0	ipa->power->qmp->mbox_chan->con_priv->txout	0-4294967295
PARAM_VALUE	0	ipa->power->qmp->mbox_chan->mbox->poll_hrt.is_hard	0-1
PARAM_VALUE	0	ipa->power->qmp->mbox_chan->mbox->poll_hrt.is_lazy	0-1
PARAM_VALUE	0	ipa->power->qmp->mbox_chan->mbox->poll_hrt.is_queued	1
PARAM_VALUE	0	ipa->power->qmp->mbox_chan->mbox->poll_hrt.is_soft	0-1
PARAM_VALUE	0	ipa->power->qmp->mbox_chan->mbox->poll_hrt.node.expires	0-s64max
PARAM_VALUE	0	ipa->power->qmp->mbox_chan->mbox->poll_hrt.node.node.node.__rb_parent_color	1
PARAM_VALUE	0	ipa->power->qmp->mbox_chan->msg_count	0-4294967295
PARAM_VALUE	0	ipa->power->qmp->mbox_chan->msg_free	0-4294967295
PARAM_VALUE	0	ipa->power->qmp->mbox_chan->tx_complete.wait.lock.owner	(-1)
PARAM_VALUE	0	ipa->power->qmp->mbox_chan->tx_complete.wait.lock.owner_cpu	4294967295
PARAM_VALUE	0	ipa->power->qmp->mbox_chan->tx_complete.wait.lock.raw_lock.val.counter	0-s32max
PARAM_VALUE	0	ipa->power->qmp->mbox_chan->tx_status	s32min-(-63),(-61)-0
PARAM_VALUE	0	ipa->power->qmp->tx_lock.dep_map->name	0-255
PARAM_VALUE	0	ipa->power->qmp->tx_lock.first_waiter->list.prev->next	5159360019465732096
PARAM_VALUE	0	ipa->power->qmp->tx_lock.first_waiter->list.prev->prev	5159360019465732096
PARAM_VALUE	0	ipa->power->qmp->tx_lock.first_waiter->task->blocked_lock.dep_map->name	0-255
PARAM_VALUE	0	ipa->power->qmp->tx_lock.first_waiter->task->blocked_lock.owner	(-1)
PARAM_VALUE	0	ipa->power->qmp->tx_lock.first_waiter->task->blocked_lock.owner_cpu	4294967295
PARAM_VALUE	0	ipa->power->qmp->tx_lock.first_waiter->task->blocked_lock.raw_lock.val.counter	0-s32max
PARAM_VALUE	0	ipa->power->qmp->tx_lock.first_waiter->task->usage.refs.counter	s32min-s32max
PARAM_VALUE	0	ipa->power->qmp->tx_lock.osq.tail.counter	0-s32max
PARAM_VALUE	0	ipa->set_up	0
PARAM_VALUE	0	ipa->setup_complete	0
PARAM_VALUE	0	ipa->smp2p	0
PARAM_VALUE	0	ipa->smp2p->enabled_state->refcount.refcount.refs.counter	s32min-s32max
PARAM_VALUE	0	ipa->smp2p->valid_state->refcount.refcount.refs.counter	s32min-s32max
PARAM_VALUE	0	ipa->table_addr	0
PARAM_VALUE	0	ipa->table_virt	0
PARAM_VALUE	0	ipa->zero_addr	0
PARAM_VALUE	0	ipa->zero_size	0
PARAM_VALUE	0	ipa->zero_virt	0
PARAM_VALUE	0	*ipa->power->qmp->mbox_chan->active_req	(-4611686018427387904)-4611686018427387903
PARAM_VALUE	0	*ipa->power->qmp->mbox_chan->con_priv->control_scb->cache->data	0-4294967295
PARAM_VALUE	0	*ipa->power->qmp->mbox_chan->con_priv->txin_numd	0-4294967295
PARAM_VALUE	0	*ipa->power->qmp->mbox_chan->msg_data	0-s64max
BUF_SIZE	0	ipa	s32min-(-2),1-s32max
BUF_SIZE	0	ipa	s32min-(-2),1-s32max
CAPPED_DATA	0	ipa->endpoint_count	1
CAPPED_DATA	0	ipa->gsi.dummy_dev	1
MEM_ZERO	0	ipa->channel_map
MEM_ZERO	0	ipa->name_map
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS	0	ipa	unit_byte
HALF_LOCKED2		&_dev->mutex