enic_iounmap identifier - Linux source code next-20260811

Projects

linux

Versions

FIXME
- FIXME
  - next-20260811

Defined in 1 files as a function:

drivers/net/ethernet/cisco/enic/enic_main.c, line 2631 (as a function)

Referenced in 1 files:

drivers/net/ethernet/cisco/enic/enic_main.c
- line 2996
- line 3028

Smatch caller information:

drivers/net/ethernet/cisco/enic/enic_main.c enic_probe() -> enic_iounmap()

Type	Parameter	Key	Value
PARAM_VALUE	0	enic	4096-ptr_max
PARAM_VALUE	0	enic->devcmd_lock.rlock.dep_map->name	0-255
PARAM_VALUE	0	enic->netdev->dev.parent	4096-ptr_max
PARAM_VALUE	0	enic->notify_timer.entry.pprev	0
PARAM_VALUE	0	enic->notify_timer.flags	0-4194302
PARAM_VALUE	0	enic->notify_timer.lockdep_map->name	0-255
PARAM_VALUE	0	enic->pdev	4096-ptr_max
PARAM_VALUE	0	enic->pdev->dev.cma_area->nranges	s32min-s32max
PARAM_VALUE	0	enic->pdev->driver	4096-ptr_max
PARAM_VALUE	0	enic->pdev->msix_base	0
PARAM_VALUE	0	enic->pdev->pcie_cap	0-1
PARAM_VALUE	0	enic->port_mtu	68-9000
PARAM_VALUE	0	enic->pp	0,4096-ptr_max
PARAM_VALUE	0	enic->rfs_h.free	0-u16max
PARAM_VALUE	0	enic->rfs_h.toclean	0
PARAM_VALUE	0	enic->vdev->devcmd2->cmd_ring	4096-ptr_max
PARAM_VALUE	0	enic->vdev->devcmd2->result	4096-ptr_max
PARAM_VALUE	0	enic->vdev->devcmd2->result_size	32
PARAM_VALUE	0	enic->vdev->devcmd2->results_ring.base_addr	0,512-u64max
PARAM_VALUE	0	enic->vdev->devcmd2->results_ring.base_align	512
PARAM_VALUE	0	enic->vdev->devcmd2->results_ring.desc_avail	u32max
PARAM_VALUE	0	enic->vdev->devcmd2->results_ring.desc_count	0,32-u32max
PARAM_VALUE	0	enic->vdev->devcmd2->results_ring.desc_size	16,32,64,128
PARAM_VALUE	0	enic->vdev->devcmd2->results_ring.descs	4096-ptr_max
PARAM_VALUE	0	enic->vdev->devcmd2->results_ring.descs_unaligned	1-ptr_max
PARAM_VALUE	0	enic->vdev->devcmd2->results_ring.descs_unaligned->_refcount.counter	s32min-s32max
PARAM_VALUE	0	enic->vdev->devcmd2->results_ring.descs_unaligned->page_type	0-4294967295
PARAM_VALUE	0	enic->vdev->devcmd2->results_ring.size	0-u32max
PARAM_VALUE	0	enic->vdev->devcmd2->results_ring.size_unaligned	512-4294967807
PARAM_VALUE	0	enic->vdev->devcmd2->wq.ctrl	4096-ptr_max
PARAM_VALUE	0	enic->vdev->devcmd2->wq.ring.base_addr	0,512-u64max
PARAM_VALUE	0	enic->vdev->devcmd2->wq.ring.base_align	512
PARAM_VALUE	0	enic->vdev->devcmd2->wq.ring.desc_avail	u32max
PARAM_VALUE	0	enic->vdev->devcmd2->wq.ring.desc_count	0,32-u32max
PARAM_VALUE	0	enic->vdev->devcmd2->wq.ring.desc_size	16,32,64,128
PARAM_VALUE	0	enic->vdev->devcmd2->wq.ring.descs	4096-ptr_max
PARAM_VALUE	0	enic->vdev->devcmd2->wq.ring.descs_unaligned	1-ptr_max
PARAM_VALUE	0	enic->vdev->devcmd2->wq.ring.descs_unaligned->_refcount.counter	s32min-s32max
PARAM_VALUE	0	enic->vdev->devcmd2->wq.ring.descs_unaligned->page_type	0-4294967295
PARAM_VALUE	0	enic->vdev->devcmd2->wq.ring.size	0-u32max
PARAM_VALUE	0	enic->vdev->devcmd2->wq.ring.size_unaligned	512-4294967807
PARAM_VALUE	0	enic->vdev->devcmd2->wq.vdev	4096-ptr_max
PARAM_VALUE	0	enic->vdev->devcmd2->wq_ctrl	4096-ptr_max
PARAM_VALUE	0	enic->vdev->pdev->dev.cma_area->nranges	s32min-s32max
PARAM_VALUE	0	enic->vdev->pdev->dev.dma_io_tlb_pools.next->prev	4096-ptr_max
PARAM_VALUE	0	enic->vdev->pdev->dev.dma_io_tlb_pools.next->prev->prev	4096-ptr_max
PARAM_VALUE	0	enic->vdev->pdev->dev.dma_mem->spinlock.rlock.dep_map->name	0-255
PARAM_VALUE	0	*enic->mac_addr	0-255
PARAM_VALUE	0	*enic->netdev->name	0-255
PARAM_VALUE	0	*enic->rss_key	0-255
BUF_SIZE	0	enic->pdev	(-1),16,24,40,56,108-1096,1384,1600,1616,1752,2072,2576,8064
BUF_SIZE	0	enic->pp	92,u64max
BUF_SIZE	0	enic->vdev	(-1),1544
BUF_SIZE	0	enic->vdev->pdev	(-1),16,24,40,56,108-1096,1384,1600,1616,1752,2072,2576,8064
CAPPED_DATA	0	enic->pp	1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HOST_DATA	0	enic->intr_avail	1-s32max[c]
HOST_DATA	0	enic->intr_count	1-s32max[c]
HOST_DATA	0	enic->num_vfs	0
HOST_DATA	0	enic->pdev->acs_capabilities	0-u16max
HOST_DATA	0	enic->pdev->class	0-16777215
HOST_DATA	0	enic->pdev->current_state	0-3[c]
HOST_DATA	0	enic->pdev->devcap	0-u32max
HOST_DATA	0	enic->pdev->devfn	0-503[c]
HOST_DATA	0	enic->pdev->device	0-u16max
HOST_DATA	0	enic->pdev->eetlp_prefix_max	0-7[c]
HOST_DATA	0	enic->pdev->fm_enabled	0-1[c]
HOST_DATA	0	enic->pdev->hdr_type	0-255[c]
HOST_DATA	0	enic->pdev->ide_cfg	0-1[c]
HOST_DATA	0	enic->pdev->ide_tee_limit	0-1[c]
HOST_DATA	0	enic->pdev->irq	0-255
HOST_DATA	0	enic->pdev->is_cxl	0-1
HOST_DATA	0	enic->pdev->multifunction	0-1[c]
HOST_DATA	0	enic->pdev->nr_ide_mem	0-255[c]
HOST_DATA	0	enic->pdev->pcie_flags_reg	0-u16max
HOST_DATA	0	enic->pdev->pcie_mpss	0-7[c]
HOST_DATA	0	enic->pdev->pin	0
HOST_DATA	0	enic->pdev->pme_support	0-31[c]
HOST_DATA	0	enic->pdev->ptm_granularity	0-255[c]
HOST_DATA	0	enic->pdev->revision	0-255
HOST_DATA	0	enic->pdev->subsystem_device	0-u16max
HOST_DATA	0	enic->pdev->subsystem_vendor	0-u16max
HOST_DATA	0	enic->pdev->supported_speeds	0,2-254[c]
HOST_DATA	0	enic->pdev->transparent	0[c]
HOST_DATA	0	enic->pdev->vendor	0-u16max
HOST_DATA	0	enic->vdev->devcmd2->posted	0-4294967294
HOST_DATA	0	enic->vdev->pdev->acs_capabilities	0-u16max
HOST_DATA	0	enic->vdev->pdev->class	0-16777215
HOST_DATA	0	enic->vdev->pdev->current_state	0-3[c]
HOST_DATA	0	enic->vdev->pdev->devcap	0-u32max
HOST_DATA	0	enic->vdev->pdev->device	0-u16max
HOST_DATA	0	enic->vdev->pdev->eetlp_prefix_max	0-7[c]
HOST_DATA	0	enic->vdev->pdev->fm_enabled	0-1[c]
HOST_DATA	0	enic->vdev->pdev->hdr_type	0-255[c]
HOST_DATA	0	enic->vdev->pdev->ide_cfg	0-1[c]
HOST_DATA	0	enic->vdev->pdev->ide_tee_limit	0-1[c]
HOST_DATA	0	enic->vdev->pdev->irq	0-255
HOST_DATA	0	enic->vdev->pdev->is_cxl	0-1
HOST_DATA	0	enic->vdev->pdev->multifunction	0-1[c]
HOST_DATA	0	enic->vdev->pdev->nr_ide_mem	0-255[c]
HOST_DATA	0	enic->vdev->pdev->pcie_mpss	0-7[c]
HOST_DATA	0	enic->vdev->pdev->pin	0
HOST_DATA	0	enic->vdev->pdev->pme_support	0-31[c]
HOST_DATA	0	enic->vdev->pdev->ptm_granularity	0-255[c]
HOST_DATA	0	enic->vdev->pdev->revision	0-255
HOST_DATA	0	enic->vdev->pdev->subsystem_device	0-u16max
HOST_DATA	0	enic->vdev->pdev->subsystem_vendor	0-u16max
HOST_DATA	0	enic->vdev->pdev->supported_speeds	0,2-254[c]
HOST_DATA	0	enic->vdev->pdev->transparent	0[c]
HOST_DATA	0	enic->vdev->pdev->vendor	0-u16max
NO_OVERFLOW_SIMPLE	0	enic->cq_avail
NO_OVERFLOW_SIMPLE	0	enic->intr_avail
NO_OVERFLOW_SIMPLE	0	enic->intr_count
NO_OVERFLOW_SIMPLE	0	enic->rq_avail
NO_OVERFLOW_SIMPLE	0	enic->rq_count
NO_OVERFLOW_SIMPLE	0	enic->wq_avail
NO_OVERFLOW_SIMPLE	0	enic->wq_count

drivers/net/ethernet/cisco/enic/enic_main.c enic_remove() -> enic_iounmap()

Type	Parameter	Key	Value
PARAM_VALUE	0	enic	4096-ptr_max
PARAM_VALUE	0	enic->change_mtu_work.lockdep_map->name	0-255
PARAM_VALUE	0	enic->cq	0
PARAM_VALUE	0	enic->intr	0
PARAM_VALUE	0	enic->intr_count	0-s32max
PARAM_VALUE	0	enic->msix	0
PARAM_VALUE	0	enic->msix_entry	0
PARAM_VALUE	0	enic->napi	0
PARAM_VALUE	0	enic->pdev->msix_base	0
PARAM_VALUE	0	enic->reset.lockdep_map->name	0-255
PARAM_VALUE	0	enic->rq	0
PARAM_VALUE	0	enic->tx_hang_reset.lockdep_map->name	0-255
PARAM_VALUE	0	enic->vdev	4096-ptr_max
PARAM_VALUE	0	enic->vdev->devcmd2->color	0-1
PARAM_VALUE	0	enic->vdev->devcmd2->results_ring.descs_unaligned->_refcount.counter	s32min-s32max
PARAM_VALUE	0	enic->vdev->devcmd2->results_ring.descs_unaligned->page_type	0-4294967295
PARAM_VALUE	0	enic->vdev->devcmd2->wq.ring.descs_unaligned->_refcount.counter	s32min-s32max
PARAM_VALUE	0	enic->vdev->devcmd2->wq.ring.descs_unaligned->page_type	0-4294967295
PARAM_VALUE	0	enic->wq	0
CAPPED_DATA	0	enic->cq_count	1
CAPPED_DATA	0	enic->intr_count	1
CAPPED_DATA	0	enic->pp	1
CAPPED_DATA	0	enic->rq_count	1
CAPPED_DATA	0	enic->vdev	1
CAPPED_DATA	0	enic->wq_count	1
CAPPED_DATA	0	&enic->change_mtu_work	1
CAPPED_DATA	0	&enic->reset	1
CAPPED_DATA	0	&enic->tx_hang_reset	1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL