fsl_mc_free_irqs identifier - Linux source code next-20260811

Projects

linux

Versions

FIXME
- FIXME
  - next-20260811

Defined in 1 files as a prototype:

include/linux/fsl/mc.h, line 426 (as a prototype)

Defined in 1 files as a function:

drivers/bus/fsl-mc/fsl-mc-allocator.c, line 511 (as a function)

Referenced in 7 files:

Smatch caller information:

drivers/net/ethernet/freescale/dpaa2/dpaa2-switch.c dpaa2_switch_setup_irqs() -> fsl_mc_free_irqs()

Type	Parameter	Key	Value
PARAM_VALUE	0	mc_dev	4096-ptr_max
PARAM_VALUE	0	mc_dev->dev.driver_data	4096-ptr_max
PARAM_VALUE	0	mc_dev->dev.driver_data->bpid	0-u16max
PARAM_VALUE	0	mc_dev->dev.driver_data->buf_count	s32min-s32max
PARAM_VALUE	0	mc_dev->dev.driver_data->dev->dma_uses_io_tlb	0-1
PARAM_VALUE	0	mc_dev->dev.driver_data->dev->iommu->fault_param->queue->wq->flush_color	s32min-s32max
PARAM_VALUE	0	mc_dev->dev.driver_data->dev->iommu->fault_param->queue->wq->work_color	s32min-s32max
PARAM_VALUE	0	mc_dev->dev.driver_data->dev->iommu->pci_32bit_workaround	0-1
PARAM_VALUE	0	mc_dev->dev.driver_data->dev->kobj.kref.refcount.refs.counter	s32min-s32max
PARAM_VALUE	0	mc_dev->dev.driver_data->dev->power.links_count	0-4294967295
PARAM_VALUE	0	mc_dev->dev.driver_data->dev_id	s32min-s32max
PARAM_VALUE	0	mc_dev->dev.driver_data->dpsw_handle	0-u16max
PARAM_VALUE	0	mc_dev->dev.driver_data->features	1-3
PARAM_VALUE	0	mc_dev->dev.driver_data->major	0-u16max
PARAM_VALUE	0	mc_dev->dev.driver_data->mc_io->mutex->first_waiter->task->blocked_lock.owner	(-4611686018427387904)-4611686018427387903
PARAM_VALUE	0	mc_dev->dev.driver_data->mc_io->spinlock.dep_map->name	0-255
PARAM_VALUE	0	mc_dev->dev.driver_data->mc_io->spinlock.owner	(-1)
PARAM_VALUE	0	mc_dev->dev.driver_data->mc_io->spinlock.owner_cpu	4294967295
PARAM_VALUE	0	mc_dev->dev.driver_data->mc_io->spinlock.raw_lock.val.counter	0-s32max
PARAM_VALUE	0	mc_dev->dev.driver_data->minor	0-u16max
PARAM_VALUE	0	mc_dev->dev.driver_data->sw_attr.broadcast_cfg	0-15
PARAM_VALUE	0	mc_dev->dev.driver_data->sw_attr.component_type	0-15
PARAM_VALUE	0	mc_dev->dev.driver_data->sw_attr.flooding_cfg	0-15
PARAM_VALUE	0	mc_dev->dev.driver_data->sw_attr.max_fdbs	1-255
PARAM_VALUE	0	mc_dev->dev.driver_data->sw_attr.num_ifs	1-63
PARAM_VALUE	0	mc_dev->dev.iommu_group	0,4096-ptr_max
PARAM_VALUE	0	mc_dev->dev.kobj.entry.next->prev	4096-ptr_max
PARAM_VALUE	0	mc_dev->dev.kobj.entry.prev->next	4096-ptr_max
PARAM_VALUE	0	mc_dev->dev.links.suppliers.prev->next	4096-ptr_max
PARAM_VALUE	0	mc_dev->dev.power.entry.next->prev	4096-ptr_max
PARAM_VALUE	0	mc_dev->dev.power.entry.prev->next	4096-ptr_max
PARAM_VALUE	0	mc_dev->irqs	4096-ptr_max
PARAM_VALUE	0	mc_dev->obj_desc.irq_count	1-255
CAPPED_DATA	0	mc_dev	1
CAPPED_DATA	0	mc_dev->dev.driver_data->dev	1
CAPPED_DATA	0	mc_dev->dev.driver_data->sw_attr.num_ifs	1
CAPPED_DATA	0	mc_dev->obj_desc.irq_count	1
DATA_SOURCE	0	mc_dev	$0
HARD_MAX	0	mc_dev->dev.driver_data->sw_attr.num_ifs	63
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS	0	mc_dev	unit_byte

drivers/net/ethernet/freescale/dpaa2/dpaa2-switch.c dpaa2_switch_teardown_irqs() -> fsl_mc_free_irqs()

Type	Parameter	Key	Value
PARAM_VALUE	0	mc_dev	4096-ptr_max
PARAM_VALUE	0	mc_dev->dev.driver_data	4096-ptr_max
CAPPED_DATA	0	mc_dev	1
DATA_SOURCE	0	mc_dev	$0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS	0	mc_dev	unit_byte
HALF_LOCKED2		&dev->mutex

drivers/net/ethernet/freescale/dpaa2/dpaa2-ptp.c dpaa2_ptp_probe() -> fsl_mc_free_irqs()

Type	Parameter	Key	Value
PARAM_VALUE	0	mc_dev	4096-ptr_max
PARAM_VALUE	0	mc_dev->dev.devres_head.prev->next	4096-ptr_max
PARAM_VALUE	0	mc_dev->dev.devres_head.prev->next->next	4096-ptr_max
PARAM_VALUE	0	mc_dev->dev.kobj.entry.next->prev	4096-ptr_max
PARAM_VALUE	0	mc_dev->dev.kobj.entry.prev->next	4096-ptr_max
PARAM_VALUE	0	mc_dev->dev.links.suppliers.prev->next	4096-ptr_max
PARAM_VALUE	0	mc_dev->dev.of_node	0,4096-ptr_max
PARAM_VALUE	0	mc_dev->dev.power.entry.next->prev	4096-ptr_max
PARAM_VALUE	0	mc_dev->irqs	4096-ptr_max
PARAM_VALUE	0	mc_dev->mc_io	4096-ptr_max
PARAM_VALUE	0	mc_dev->mc_io->flags	0
PARAM_VALUE	0	mc_dev->mc_io->spinlock.dep_map->name	0-255
PARAM_VALUE	0	mc_dev->mc_io->spinlock.magic	0,3735899821
PARAM_VALUE	0	mc_dev->mc_io->spinlock.owner	(-1)
PARAM_VALUE	0	mc_dev->mc_io->spinlock.owner_cpu	u32max
PARAM_VALUE	0	mc_dev->obj_desc.irq_count	1-255
CAPPED_DATA	0	mc_dev	1
CAPPED_DATA	0	mc_dev->obj_desc.irq_count	1
DATA_SOURCE	0	mc_dev	$0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS	0	mc_dev	unit_byte

drivers/net/ethernet/freescale/dpaa2/dpaa2-ptp.c dpaa2_ptp_remove() -> fsl_mc_free_irqs()

Type	Parameter	Key	Value
PARAM_VALUE	0	mc_dev	4096-ptr_max
DATA_SOURCE	0	mc_dev	$0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2		&dev->mutex

drivers/vfio/fsl-mc/vfio_fsl_mc_intr.c vfio_fsl_mc_irqs_cleanup() -> fsl_mc_free_irqs()

Type	Parameter	Key	Value
PARAM_VALUE	0	mc_dev	4096-ptr_max
CAPPED_DATA	0	mc_dev->obj_desc.region_count	1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS	0	mc_dev	unit_byte
LOCK2		&device->dev_set->lock
HALF_LOCKED2		&device->group->group_lock
TYPE_LOCK		(struct vfio_device_set)->lock

drivers/net/ethernet/freescale/dpaa2/dpaa2-eth.c dpaa2_eth_probe() -> fsl_mc_free_irqs()

Type	Parameter	Key	Value
PARAM_VALUE	0	mc_dev	4096-ptr_max
PARAM_VALUE	0	mc_dev->dev->p->deferred_probe_reason	0-255
PARAM_VALUE	0	mc_dev->dev.devres_head.prev->next	4096-ptr_max
PARAM_VALUE	0	mc_dev->dev.devres_head.prev->next->next	4096-ptr_max
PARAM_VALUE	0	mc_dev->dev.driver_data->priv	4096-ptr_max
PARAM_VALUE	0	mc_dev->dev.driver_data->priv->dpni_ver_major	0-u16max
PARAM_VALUE	0	mc_dev->dev.driver_data->priv->dpni_ver_minor	0-u16max
PARAM_VALUE	0	mc_dev->dev.driver_data->priv->enqueue	4542234606208380928,4958601040715935744
PARAM_VALUE	0	mc_dev->dev.driver_data->priv->mc_io	4096-ptr_max
PARAM_VALUE	0	mc_dev->dev.driver_data->priv->mc_io->spinlock.dep_map->name	0-255
PARAM_VALUE	0	mc_dev->dev.driver_data->priv->mc_io->spinlock.owner	(-1)
PARAM_VALUE	0	mc_dev->dev.driver_data->priv->mc_io->spinlock.owner_cpu	4294967295
PARAM_VALUE	0	mc_dev->dev.driver_data->priv->mc_token	0-u16max
PARAM_VALUE	0	mc_dev->dev.driver_data->priv->net_dev->dev.parent->dma_uses_io_tlb	1
PARAM_VALUE	0	mc_dev->dev.driver_data->priv->net_dev->dev.parent->iommu->pci_32bit_workaround	0-1
PARAM_VALUE	0	mc_dev->dev.driver_data->priv->rx_buf_size	0,64-3968
PARAM_VALUE	0	mc_dev->dev.driver_data->priv->tx_data_offset	0-u16max
PARAM_VALUE	0	mc_dev->dev.driver_data->priv->vlan_cls_enabled	1
PARAM_VALUE	0	mc_dev->dev.iommu_group	0,4096-ptr_max
PARAM_VALUE	0	mc_dev->dev.kobj.entry.next->prev	4096-ptr_max
PARAM_VALUE	0	mc_dev->dev.kobj.entry.prev->next	4096-ptr_max
PARAM_VALUE	0	mc_dev->dev.links.suppliers.prev->next	4096-ptr_max
PARAM_VALUE	0	mc_dev->dev.power.entry.next->prev	4096-ptr_max
PARAM_VALUE	0	mc_dev->irqs	4096-ptr_max
PARAM_VALUE	0	mc_dev->mc_io	4096-ptr_max
PARAM_VALUE	0	mc_dev->mc_io->spinlock.dep_map->name	0-255
PARAM_VALUE	0	mc_dev->mc_io->spinlock.owner	(-1)
PARAM_VALUE	0	mc_dev->mc_io->spinlock.owner_cpu	u32max
PARAM_VALUE	0	mc_dev->obj_desc.irq_count	1-255
CAPPED_DATA	0	mc_dev	1
CAPPED_DATA	0	mc_dev->obj_desc.irq_count	1
DATA_SOURCE	0	mc_dev	$0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS	0	mc_dev	unit_byte

drivers/net/ethernet/freescale/dpaa2/dpaa2-eth.c dpaa2_eth_remove() -> fsl_mc_free_irqs()

Type	Parameter	Key	Value
PARAM_VALUE	0	mc_dev	4096-ptr_max
DATA_SOURCE	0	mc_dev	$0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2		&dev->mutex

drivers/net/ethernet/freescale/dpaa2/dpaa2-eth.c dpaa2_eth_setup_irqs() -> fsl_mc_free_irqs()

Type	Parameter	Key	Value
PARAM_VALUE	0	mc_dev	4096-ptr_max
PARAM_VALUE	0	mc_dev->dev.bus	0,4096-ptr_max
PARAM_VALUE	0	mc_dev->dev.class	0,4096-ptr_max
PARAM_VALUE	0	mc_dev->dev.devres_head.prev->next	4096-ptr_max
PARAM_VALUE	0	mc_dev->dev.devres_head.prev->next->next	4096-ptr_max
PARAM_VALUE	0	mc_dev->dev.driver	0,4096-ptr_max
PARAM_VALUE	0	mc_dev->dev.driver_data->priv->dpni_ver_major	0-u16max
PARAM_VALUE	0	mc_dev->dev.driver_data->priv->dpni_ver_minor	0-u16max
PARAM_VALUE	0	mc_dev->dev.driver_data->priv->enqueue	4542234606208380928,4958601040715935744
PARAM_VALUE	0	mc_dev->dev.driver_data->priv->mc_io->spinlock.dep_map->name	0-255
PARAM_VALUE	0	mc_dev->dev.driver_data->priv->mc_io->spinlock.owner	(-1)
PARAM_VALUE	0	mc_dev->dev.driver_data->priv->mc_io->spinlock.owner_cpu	4294967295
PARAM_VALUE	0	mc_dev->dev.driver_data->priv->mc_io->spinlock.raw_lock.val.counter	0-s32max
PARAM_VALUE	0	mc_dev->dev.driver_data->priv->mc_token	0-u16max
PARAM_VALUE	0	mc_dev->dev.driver_data->priv->net_dev->dev.parent->dma_uses_io_tlb	1
PARAM_VALUE	0	mc_dev->dev.driver_data->priv->net_dev->dev.parent->iommu->pci_32bit_workaround	0-1
PARAM_VALUE	0	mc_dev->dev.driver_data->priv->rx_buf_size	0,64-3968
PARAM_VALUE	0	mc_dev->dev.driver_data->priv->tx_data_offset	0-u16max
PARAM_VALUE	0	mc_dev->dev.driver_data->priv->vlan_cls_enabled	1
PARAM_VALUE	0	mc_dev->dev.iommu_group	0,4096-ptr_max
PARAM_VALUE	0	mc_dev->dev.kobj.entry.next->prev	4096-ptr_max
PARAM_VALUE	0	mc_dev->dev.kobj.entry.prev->next	4096-ptr_max
PARAM_VALUE	0	mc_dev->dev.links.suppliers.prev->next	4096-ptr_max
PARAM_VALUE	0	mc_dev->dev.power.entry.next->prev	4096-ptr_max
PARAM_VALUE	0	mc_dev->dev.power.entry.prev->next	4096-ptr_max
PARAM_VALUE	0	mc_dev->irqs	4096-ptr_max
PARAM_VALUE	0	mc_dev->mc_io	4096-ptr_max
PARAM_VALUE	0	mc_dev->mc_io->flags	0-1
PARAM_VALUE	0	mc_dev->mc_io->spinlock.dep_map->name	0-255
PARAM_VALUE	0	mc_dev->mc_io->spinlock.owner	(-1)
PARAM_VALUE	0	mc_dev->mc_io->spinlock.owner_cpu	u32max
PARAM_VALUE	0	mc_dev->obj_desc.irq_count	1-255
CAPPED_DATA	0	mc_dev	1
CAPPED_DATA	0	mc_dev->obj_desc.irq_count	1
DATA_SOURCE	0	mc_dev	$0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS	0	mc_dev	unit_byte

drivers/soc/fsl/dpio/dpio-driver.c dpaa2_dpio_probe() -> fsl_mc_free_irqs()

Type	Parameter	Key	Value
PARAM_VALUE	0	mc_dev	4096-ptr_max
PARAM_VALUE	0	mc_dev->dev.devres_head.prev->next	4096-ptr_max
PARAM_VALUE	0	mc_dev->dev.devres_head.prev->next->next	4096-ptr_max
PARAM_VALUE	0	mc_dev->dev.kobj.entry.next->prev	4096-ptr_max
PARAM_VALUE	0	mc_dev->dev.kobj.entry.prev->next	4096-ptr_max
PARAM_VALUE	0	mc_dev->dev.links.suppliers.prev->next	4096-ptr_max
PARAM_VALUE	0	mc_dev->dev.power.entry.next->prev	4096-ptr_max
PARAM_VALUE	0	mc_dev->irqs	4096-ptr_max
PARAM_VALUE	0	mc_dev->mc_io	4096-ptr_max
PARAM_VALUE	0	mc_dev->mc_io->flags	0
PARAM_VALUE	0	mc_dev->mc_io->spinlock.dep_map->name	0-255
PARAM_VALUE	0	mc_dev->mc_io->spinlock.magic	0,3735899821
PARAM_VALUE	0	mc_dev->mc_io->spinlock.owner	0,(-1)
PARAM_VALUE	0	mc_dev->mc_io->spinlock.owner_cpu	0,u32max
PARAM_VALUE	0	mc_dev->obj_desc.irq_count	1-255
PARAM_VALUE	0	mc_dev->regions	4096-ptr_max
CAPPED_DATA	0	mc_dev	1
CAPPED_DATA	0	mc_dev->obj_desc.irq_count	1
DATA_SOURCE	0	mc_dev	$0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS	0	mc_dev	unit_byte

drivers/soc/fsl/dpio/dpio-driver.c dpio_teardown_irqs() -> fsl_mc_free_irqs()

Type	Parameter	Key	Value
PARAM_VALUE	0	mc_dev	4096-ptr_max
PARAM_VALUE	0	mc_dev->irqs	4096-ptr_max
DATA_SOURCE	0	mc_dev	$0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2		&dev->mutex
TYPE_LOCK		(struct device)->mutex

drivers/bus/fsl-mc/dprc-driver.c dprc_setup_irq() -> fsl_mc_free_irqs()

Type	Parameter	Key	Value
PARAM_VALUE	0	mc_dev	4096-ptr_max
PARAM_VALUE	0	mc_dev->dev.devres_head.prev->next	4096-ptr_max
PARAM_VALUE	0	mc_dev->dev.devres_head.prev->next->next	4096-ptr_max
PARAM_VALUE	0	mc_dev->dev.msi.data	1-u64max
PARAM_VALUE	0	mc_dev->irqs	4096-ptr_max
PARAM_VALUE	0	mc_dev->mc_io	4096-ptr_max
PARAM_VALUE	0	mc_dev->mc_io->dev	4096-ptr_max
PARAM_VALUE	0	mc_dev->mc_io->spinlock.dep_map->name	0-255
PARAM_VALUE	0	mc_dev->mc_io->spinlock.magic	0,3735899821
PARAM_VALUE	0	mc_dev->mc_io->spinlock.raw_lock.val.counter	0-s32max
PARAM_VALUE	0	mc_dev->obj_desc.irq_count	1-255
CAPPED_DATA	0	mc_dev->obj_desc.irq_count	1
DATA_SOURCE	0	mc_dev	$0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/bus/fsl-mc/dprc-driver.c dprc_teardown_irq() -> fsl_mc_free_irqs()

Type	Parameter	Key	Value
PARAM_VALUE	0	mc_dev	4096-ptr_max
PARAM_VALUE	0	mc_dev->dev.msi.domain	1-u64max
PARAM_VALUE	0	mc_dev->irqs	4096-ptr_max
PARAM_VALUE	0	mc_dev->mc_io	4096-ptr_max
DATA_SOURCE	0	mc_dev	$0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2		&dev->mutex
TYPE_LOCK		(struct device)->mutex