rocker_remove_ports identifier - Linux source code next-20260811

Projects

linux

Versions

FIXME
- FIXME
  - next-20260811

Defined in 1 files as a function:

drivers/net/ethernet/rocker/rocker_main.c, line 2510 (as a function)

Referenced in 1 files:

drivers/net/ethernet/rocker/rocker_main.c

Smatch caller information:

drivers/net/ethernet/rocker/rocker_main.c rocker_probe() -> rocker_remove_ports()

Type	Parameter	Key	Value
PARAM_VALUE	0	rocker	4096-ptr_max
PARAM_VALUE	0	rocker->cmd_ring.desc	4096-ptr_max
PARAM_VALUE	0	rocker->cmd_ring.desc->buf_addr	0
PARAM_VALUE	0	rocker->cmd_ring.desc->buf_size	0
PARAM_VALUE	0	rocker->cmd_ring.desc->comp_err	0
PARAM_VALUE	0	rocker->cmd_ring.desc->cookie	0
PARAM_VALUE	0	rocker->cmd_ring.desc->tlv_size	0
PARAM_VALUE	0	rocker->cmd_ring.desc_info	4096-ptr_max
PARAM_VALUE	0	rocker->cmd_ring.head	0
PARAM_VALUE	0	rocker->cmd_ring.size	32
PARAM_VALUE	0	rocker->cmd_ring.tail	0
PARAM_VALUE	0	rocker->event_ring.desc	4096-ptr_max
PARAM_VALUE	0	rocker->event_ring.desc->buf_addr	0
PARAM_VALUE	0	rocker->event_ring.desc->buf_size	0
PARAM_VALUE	0	rocker->event_ring.desc->comp_err	0
PARAM_VALUE	0	rocker->event_ring.desc->cookie	0
PARAM_VALUE	0	rocker->event_ring.desc->tlv_size	0
PARAM_VALUE	0	rocker->event_ring.desc_info	4096-ptr_max
PARAM_VALUE	0	rocker->event_ring.size	32
PARAM_VALUE	0	rocker->event_ring.tail	0
PARAM_VALUE	0	rocker->fib_nb.notifier_call	3480950247408173056
PARAM_VALUE	0	rocker->hw_addr	4096-ptr_max
PARAM_VALUE	0	rocker->msix_entries	4096-ptr_max
PARAM_VALUE	0	rocker->pdev	4096-ptr_max
PARAM_VALUE	0	rocker->pdev->current_state	0
PARAM_VALUE	0	rocker->pdev->dev.bus	0,4096-ptr_max
PARAM_VALUE	0	rocker->pdev->dev.class	0,4096-ptr_max
PARAM_VALUE	0	rocker->pdev->dev.cma_area->alloc_mutex.first_waiter->list.prev->next	5159360019465732096
PARAM_VALUE	0	rocker->pdev->dev.cma_area->alloc_mutex.first_waiter->list.prev->prev	5159360019465732096
PARAM_VALUE	0	rocker->pdev->dev.cma_area->alloc_mutex.osq.tail.counter	0-s32max
PARAM_VALUE	0	rocker->pdev->dev.cma_area->nranges	s32min-s32max
PARAM_VALUE	0	rocker->pdev->dev.devres_head.prev->next	4096-ptr_max
PARAM_VALUE	0	rocker->pdev->dev.devres_head.prev->next->next	4096-ptr_max
PARAM_VALUE	0	rocker->pdev->dev.dma_io_tlb_pools.next	4096-ptr_max
PARAM_VALUE	0	rocker->pdev->dev.dma_io_tlb_pools.next->prev	4096-ptr_max
PARAM_VALUE	0	rocker->pdev->dev.dma_io_tlb_pools.next->prev->prev	4096-ptr_max
PARAM_VALUE	0	rocker->pdev->dev.dma_mem->spinlock.rlock.dep_map->name	0-255
PARAM_VALUE	0	rocker->pdev->dev.dma_uses_io_tlb	1
PARAM_VALUE	0	rocker->pdev->dev.driver	0,4096-ptr_max
PARAM_VALUE	0	rocker->pdev->dev.msi.data	1-u64max
PARAM_VALUE	0	rocker->pdev->dev.msi.data->__iter_idx	0-s64max
PARAM_VALUE	0	rocker->pdev->dev_flags	1-u16max
PARAM_VALUE	0	rocker->pdev->driver	4096-ptr_max
PARAM_VALUE	0	rocker->pdev->error_state	0-2,4-u32max
PARAM_VALUE	0	rocker->pdev->is_busmaster	1
PARAM_VALUE	0	rocker->pdev->is_msi_managed	1
PARAM_VALUE	0	rocker->pdev->msi_enabled	0
PARAM_VALUE	0	rocker->pdev->msix_base	4096-ptr_max
PARAM_VALUE	0	rocker->pdev->msix_cap	1-255
PARAM_VALUE	0	rocker->pdev->msix_enabled	1
PARAM_VALUE	0	rocker->pdev->no_msi	0
PARAM_VALUE	0	rocker->pdev->pcie_cap	0-1
PARAM_VALUE	0	rocker->port_count	0-s32max
PARAM_VALUE	0	rocker->ports	16,4096-ptr_max
PARAM_VALUE	0	rocker->rocker_owq	4096-ptr_max
PARAM_VALUE	0	rocker->wops->port_post_fini	0
PARAM_VALUE	0	rocker->wops->port_priv_size	0-9223372036854775807
BUF_SIZE	0	rocker	264
BUF_SIZE	0	rocker->pdev	(-1),16,24,40,56,108-1096,1384,1600,1616,1752,2072,2576,8064
BUF_SIZE	0	rocker->rocker_owq	(-1),512,528-8720
CAPPED_DATA	0	rocker->cmd_ring.desc	1
CAPPED_DATA	0	rocker->port_count	1
CAPPED_DATA	0	&rocker->fib_nb	1
DATA_SOURCE	0	rocker	r _kzalloc_noprof
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HOST_DATA	0	rocker->event_ring.head	0-u32max
HOST_DATA	0	rocker->event_ring.size	32
HOST_DATA	0	rocker->event_ring.tail	0
HOST_DATA	0	rocker->event_ring.type	0-u32max
HOST_DATA	0	rocker->fib_nb.priority	s32min-s32max
HOST_DATA	0	rocker->hw.id	0-u64max
HOST_DATA	0	rocker->pdev->acs_capabilities	0-u16max
HOST_DATA	0	rocker->pdev->class	0-16777215
HOST_DATA	0	rocker->pdev->current_state	0[c]
HOST_DATA	0	rocker->pdev->devcap	0-u32max
HOST_DATA	0	rocker->pdev->devfn	0-503[c]
HOST_DATA	0	rocker->pdev->device	0-u16max
HOST_DATA	0	rocker->pdev->eetlp_prefix_max	0-7[c]
HOST_DATA	0	rocker->pdev->fm_enabled	0-1[c]
HOST_DATA	0	rocker->pdev->hdr_type	0-255[c]
HOST_DATA	0	rocker->pdev->ide_cfg	0-1[c]
HOST_DATA	0	rocker->pdev->ide_tee_limit	0-1[c]
HOST_DATA	0	rocker->pdev->irq	0-255
HOST_DATA	0	rocker->pdev->is_cxl	0-1
HOST_DATA	0	rocker->pdev->multifunction	0-1[c]
HOST_DATA	0	rocker->pdev->nr_ide_mem	0-255[c]
HOST_DATA	0	rocker->pdev->pcie_flags_reg	0-u16max
HOST_DATA	0	rocker->pdev->pcie_mpss	0-7[c]
HOST_DATA	0	rocker->pdev->pin	0
HOST_DATA	0	rocker->pdev->pme_support	0-31[c]
HOST_DATA	0	rocker->pdev->ptm_granularity	0-255[c]
HOST_DATA	0	rocker->pdev->revision	0-255
HOST_DATA	0	rocker->pdev->subsystem_device	0-u16max
HOST_DATA	0	rocker->pdev->subsystem_vendor	0-u16max
HOST_DATA	0	rocker->pdev->supported_speeds	0,2-254[c]
HOST_DATA	0	rocker->pdev->transparent	0[c]
HOST_DATA	0	rocker->pdev->vendor	0-u16max
HOST_DATA	0	rocker->port_count	0-s32max[c]
HOST_DATA	0	*rocker	0-u64max
NO_OVERFLOW_SIMPLE	0	rocker->cmd_ring.size
NO_OVERFLOW_SIMPLE	0	rocker->event_ring.size

drivers/net/ethernet/rocker/rocker_main.c rocker_probe_ports() -> rocker_remove_ports()

Type	Parameter	Key	Value
PARAM_VALUE	0	rocker	4096-ptr_max
PARAM_VALUE	0	rocker->cmd_ring.desc	4096-ptr_max
PARAM_VALUE	0	rocker->cmd_ring.desc->buf_addr	0
PARAM_VALUE	0	rocker->cmd_ring.desc->buf_size	0
PARAM_VALUE	0	rocker->cmd_ring.desc->comp_err	0
PARAM_VALUE	0	rocker->cmd_ring.desc->cookie	0
PARAM_VALUE	0	rocker->cmd_ring.desc->tlv_size	0
PARAM_VALUE	0	rocker->cmd_ring.desc_info	4096-ptr_max
PARAM_VALUE	0	rocker->cmd_ring.head	0
PARAM_VALUE	0	rocker->cmd_ring.size	32
PARAM_VALUE	0	rocker->cmd_ring.tail	0
PARAM_VALUE	0	rocker->event_ring.desc	4096-ptr_max
PARAM_VALUE	0	rocker->event_ring.desc->buf_addr	0
PARAM_VALUE	0	rocker->event_ring.desc->buf_size	0
PARAM_VALUE	0	rocker->event_ring.desc->comp_err	0
PARAM_VALUE	0	rocker->event_ring.desc->cookie	0
PARAM_VALUE	0	rocker->event_ring.desc->tlv_size	0
PARAM_VALUE	0	rocker->event_ring.desc_info	4096-ptr_max
PARAM_VALUE	0	rocker->event_ring.size	32
PARAM_VALUE	0	rocker->event_ring.tail	0
PARAM_VALUE	0	rocker->msix_entries	4096-ptr_max
PARAM_VALUE	0	rocker->pdev	4096-ptr_max
PARAM_VALUE	0	rocker->pdev->current_state	0
PARAM_VALUE	0	rocker->pdev->dev.bus	0,4096-ptr_max
PARAM_VALUE	0	rocker->pdev->dev.class	0,4096-ptr_max
PARAM_VALUE	0	rocker->pdev->dev.cma_area->alloc_mutex.first_waiter->list.prev->next	5159360019465732096
PARAM_VALUE	0	rocker->pdev->dev.cma_area->alloc_mutex.first_waiter->list.prev->prev	5159360019465732096
PARAM_VALUE	0	rocker->pdev->dev.cma_area->alloc_mutex.osq.tail.counter	0-s32max
PARAM_VALUE	0	rocker->pdev->dev.cma_area->nranges	s32min-s32max
PARAM_VALUE	0	rocker->pdev->dev.devres_head.prev->next	4096-ptr_max
PARAM_VALUE	0	rocker->pdev->dev.devres_head.prev->next->next	4096-ptr_max
PARAM_VALUE	0	rocker->pdev->dev.dma_io_tlb_pools.next	4096-ptr_max
PARAM_VALUE	0	rocker->pdev->dev.dma_io_tlb_pools.next->prev	4096-ptr_max
PARAM_VALUE	0	rocker->pdev->dev.dma_io_tlb_pools.next->prev->prev	4096-ptr_max
PARAM_VALUE	0	rocker->pdev->dev.dma_mem->spinlock.rlock.dep_map->name	0-255
PARAM_VALUE	0	rocker->pdev->dev.dma_uses_io_tlb	1
PARAM_VALUE	0	rocker->pdev->dev.driver	0,4096-ptr_max
PARAM_VALUE	0	rocker->pdev->dev.iommu->pci_32bit_workaround	0-1
PARAM_VALUE	0	rocker->pdev->dev.msi.data->__iter_idx	0-s64max
PARAM_VALUE	0	rocker->pdev->dev_flags	1-u16max
PARAM_VALUE	0	rocker->pdev->driver	4096-ptr_max
PARAM_VALUE	0	rocker->pdev->error_state	0-2,4-u32max
PARAM_VALUE	0	rocker->pdev->is_busmaster	1
PARAM_VALUE	0	rocker->pdev->is_msi_managed	1
PARAM_VALUE	0	rocker->pdev->msi_enabled	0
PARAM_VALUE	0	rocker->pdev->msix_base	4096-ptr_max
PARAM_VALUE	0	rocker->pdev->msix_cap	1-255
PARAM_VALUE	0	rocker->pdev->msix_enabled	1
PARAM_VALUE	0	rocker->pdev->no_msi	0
PARAM_VALUE	0	rocker->pdev->pcie_cap	0-1
PARAM_VALUE	0	rocker->port_count	1-u32max
PARAM_VALUE	0	rocker->ports	16,4096-ptr_max
PARAM_VALUE	0	rocker->rocker_owq	4096-ptr_max
PARAM_VALUE	0	rocker->wops->port_post_fini	0
PARAM_VALUE	0	rocker->wops->port_priv_size	0-9223372036854775807
BUF_SIZE	0	rocker	264
BUF_SIZE	0	rocker->pdev	(-1),16,24,40,56,108-1096,1384,1600,1616,1752,2072,2576,7472,8064
BUF_SIZE	0	rocker->ports	0-u64max
BUF_SIZE	0	rocker->rocker_owq	(-1),512,528-8720
CAPPED_DATA	0	rocker->cmd_ring.desc	1
DATA_SOURCE	0	rocker	$0
FUZZY_MAX	0	rocker->port_count	1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HOST_DATA	0	rocker->event_ring.head	0-u32max
HOST_DATA	0	rocker->event_ring.size	32
HOST_DATA	0	rocker->event_ring.tail	0
HOST_DATA	0	rocker->event_ring.type	0-u32max
HOST_DATA	0	rocker->fib_nb.priority	s32min-s32max
HOST_DATA	0	rocker->hw.id	0-u64max
HOST_DATA	0	rocker->pdev->acs_capabilities	0-u16max
HOST_DATA	0	rocker->pdev->class	0-16777215
HOST_DATA	0	rocker->pdev->current_state	0[c]
HOST_DATA	0	rocker->pdev->devcap	0-u32max
HOST_DATA	0	rocker->pdev->devfn	1-503[c]
HOST_DATA	0	rocker->pdev->device	0-u16max
HOST_DATA	0	rocker->pdev->eetlp_prefix_max	0-7[c]
HOST_DATA	0	rocker->pdev->fm_enabled	0-1[c]
HOST_DATA	0	rocker->pdev->hdr_type	0-255[c]
HOST_DATA	0	rocker->pdev->ide_cfg	0-1[c]
HOST_DATA	0	rocker->pdev->ide_tee_limit	0-1[c]
HOST_DATA	0	rocker->pdev->irq	0-255
HOST_DATA	0	rocker->pdev->is_cxl	0-1
HOST_DATA	0	rocker->pdev->multifunction	0-1[c]
HOST_DATA	0	rocker->pdev->nr_ide_mem	0-255[c]
HOST_DATA	0	rocker->pdev->pcie_flags_reg	0-u16max
HOST_DATA	0	rocker->pdev->pcie_mpss	0-7[c]
HOST_DATA	0	rocker->pdev->pin	0
HOST_DATA	0	rocker->pdev->pme_support	0-31[c]
HOST_DATA	0	rocker->pdev->ptm_granularity	0-255[c]
HOST_DATA	0	rocker->pdev->revision	0-255
HOST_DATA	0	rocker->pdev->subsystem_device	0-u16max
HOST_DATA	0	rocker->pdev->subsystem_vendor	0-u16max
HOST_DATA	0	rocker->pdev->supported_speeds	0,2-254[c]
HOST_DATA	0	rocker->pdev->transparent	0[c]
HOST_DATA	0	rocker->pdev->vendor	0-u16max
HOST_DATA	0	rocker->port_count	1-u32max
NO_OVERFLOW_SIMPLE	0	rocker->cmd_ring.size
NO_OVERFLOW_SIMPLE	0	rocker->event_ring.size

drivers/net/ethernet/rocker/rocker_main.c rocker_remove() -> rocker_remove_ports()

Type	Parameter	Key	Value
BUF_SIZE	0	rocker	s32min-(-2),1-s32max
BUF_SIZE	0	rocker	s32min-(-2),1-s32max
CAPPED_DATA	0	&rocker->fib_nb	1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS	0	rocker	unit_byte