intel_pasid_free_table identifier - Linux source code next-20260811

Projects

linux

Versions

FIXME
- FIXME
  - next-20260811

Defined in 1 files as a prototype:

drivers/iommu/intel/pasid.h, line 304 (as a prototype)

Defined in 1 files as a function:

drivers/iommu/intel/pasid.c, line 80 (as a function)

Referenced in 1 files:

drivers/iommu/intel/iommu.c
- line 3346
- line 3406

Smatch caller information:

drivers/iommu/intel/iommu.c intel_iommu_probe_device() -> intel_pasid_free_table()

Type	Parameter	Key	Value
PARAM_VALUE	0	dev	4096-ptr_max
PARAM_VALUE	0	dev->iommu->fwspec	0,4096-ptr_max
PARAM_VALUE	0	dev->iommu->priv	4096-ptr_max
PARAM_VALUE	0	dev->iommu->priv->pasid_table->table	s64max
CAPPED_DATA	0	dev	1
DATA_SOURCE	0	dev	$0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HOST_DATA	0	dev->acpi_flags	0-255
HOST_DATA	0	dev->acs_capabilities	0-u16max
HOST_DATA	0	dev->bridge->acs_capabilities	0-u16max
HOST_DATA	0	dev->bridge->class	0-16777215
HOST_DATA	0	dev->bridge->current_state	0-3[c]
HOST_DATA	0	dev->bridge->devcap	0-4294967295
HOST_DATA	0	dev->bridge->devfn	0-503[c]
HOST_DATA	0	dev->bridge->device	0-u16max
HOST_DATA	0	dev->bridge->eetlp_prefix_max	0-7[c]
HOST_DATA	0	dev->bridge->fm_enabled	0-1[c]
HOST_DATA	0	dev->bridge->hdr_type	0-255[c]
HOST_DATA	0	dev->bridge->ide_cfg	0-1[c]
HOST_DATA	0	dev->bridge->ide_tee_limit	0-1[c]
HOST_DATA	0	dev->bridge->irq	0-255
HOST_DATA	0	dev->bridge->is_cxl	0-1
HOST_DATA	0	dev->bridge->multifunction	0-1[c]
HOST_DATA	0	dev->bridge->nr_ide_mem	0-255[c]
HOST_DATA	0	dev->bridge->pcie_flags_reg	0-u16max
HOST_DATA	0	dev->bridge->pcie_mpss	0-7[c]
HOST_DATA	0	dev->bridge->pin	0
HOST_DATA	0	dev->bridge->pme_support	0-31[c]
HOST_DATA	0	dev->bridge->ptm_granularity	0-255[c]
HOST_DATA	0	dev->bridge->revision	0-255
HOST_DATA	0	dev->bridge->subsystem_device	0-u16max
HOST_DATA	0	dev->bridge->subsystem_vendor	0-u16max
HOST_DATA	0	dev->bridge->supported_speeds	0,2-254[c]
HOST_DATA	0	dev->bridge->transparent	0[c]
HOST_DATA	0	dev->bridge->vendor	0-u16max
HOST_DATA	0	dev->cap	0-4294967295
HOST_DATA	0	dev->cap_ptr	0-u16max
HOST_DATA	0	dev->class	0-16777215
HOST_DATA	0	dev->cmd_buf_head	0-4294967295
HOST_DATA	0	dev->cmd_buf_tail	0-4294967295
HOST_DATA	0	dev->cmd_sem_paddr	s64min-s64max
HOST_DATA	0	dev->cmd_sem_val	s64min-s64max
HOST_DATA	0	dev->current_state	0-3[c]
HOST_DATA	0	dev->dbg_cap_offset	s32min-s32max
HOST_DATA	0	dev->dbg_mmio_offset	s32min-s32max
HOST_DATA	0	dev->devcap	0-4294967295
HOST_DATA	0	dev->devfn	0-503[c]
HOST_DATA	0	dev->device	0-u16max
HOST_DATA	0	dev->devid	0-u16max
HOST_DATA	0	dev->eetlp_prefix_max	0-7[c]
HOST_DATA	0	dev->features	s64min-s64max
HOST_DATA	0	dev->features2	s64min-s64max
HOST_DATA	0	dev->flags	0-u32max
HOST_DATA	0	dev->fm_enabled	0-1[c]
HOST_DATA	0	dev->hdr_type	0-255[c]
HOST_DATA	0	dev->ide_cfg	0-1[c]
HOST_DATA	0	dev->ide_tee_limit	0-1[c]
HOST_DATA	0	dev->index	s32min-s32max
HOST_DATA	0	dev->int_enabled	0-1
HOST_DATA	0	dev->iommu.max_pasids	0-u32max
HOST_DATA	0	dev->iommu.ready	0-1
HOST_DATA	0	dev->irq	0-255
HOST_DATA	0	dev->irtcachedis_enabled	0-1
HOST_DATA	0	dev->is_cxl	0-1
HOST_DATA	0	dev->lock.magic	0-4294967295
HOST_DATA	0	dev->lock.owner_cpu	0-4294967295
HOST_DATA	0	dev->lock.raw_lock.locked	0-255
HOST_DATA	0	dev->lock.raw_lock.locked_pending	0-u16max
HOST_DATA	0	dev->lock.raw_lock.pending	0-255
HOST_DATA	0	dev->lock.raw_lock.tail	0-u16max
HOST_DATA	0	dev->lock.raw_lock.val.counter	s32min-s32max
HOST_DATA	0	dev->max_banks	0-255
HOST_DATA	0	dev->max_counters	0-255
HOST_DATA	0	dev->mmio_phys	s64min-s64max
HOST_DATA	0	dev->mmio_phys_end	s64min-s64max
HOST_DATA	0	dev->multifunction	0-1[c]
HOST_DATA	0	dev->need_sync	0-1
HOST_DATA	0	dev->nr_ide_mem	0-255[c]
HOST_DATA	0	dev->pcie_flags_reg	0-u16max
HOST_DATA	0	dev->pcie_mpss	0-7[c]
HOST_DATA	0	dev->pdev->acs_capabilities	0-u16max
HOST_DATA	0	dev->pdev->class	0-16777215
HOST_DATA	0	dev->pdev->current_state	0-3[c]
HOST_DATA	0	dev->pdev->devcap	0-4294967295
HOST_DATA	0	dev->pdev->devfn	0-503[c]
HOST_DATA	0	dev->pdev->device	0-u16max
HOST_DATA	0	dev->pdev->eetlp_prefix_max	0-7[c]
HOST_DATA	0	dev->pdev->fm_enabled	0-1[c]
HOST_DATA	0	dev->pdev->hdr_type	0-255[c]
HOST_DATA	0	dev->pdev->ide_cfg	0-1[c]
HOST_DATA	0	dev->pdev->ide_tee_limit	0-1[c]
HOST_DATA	0	dev->pdev->irq	0-255
HOST_DATA	0	dev->pdev->is_cxl	0-1
HOST_DATA	0	dev->pdev->multifunction	0-1[c]
HOST_DATA	0	dev->pdev->nr_ide_mem	0-255[c]
HOST_DATA	0	dev->pdev->pcie_flags_reg	0-u16max
HOST_DATA	0	dev->pdev->pcie_mpss	0-7[c]
HOST_DATA	0	dev->pdev->pin	0
HOST_DATA	0	dev->pdev->pme_support	0-31[c]
HOST_DATA	0	dev->pdev->ptm_granularity	0-255[c]
HOST_DATA	0	dev->pdev->revision	0-255
HOST_DATA	0	dev->pdev->subsystem_device	0-u16max
HOST_DATA	0	dev->pdev->subsystem_vendor	0-u16max
HOST_DATA	0	dev->pdev->supported_speeds	0,2-254[c]
HOST_DATA	0	dev->pdev->transparent	0[c]
HOST_DATA	0	dev->pdev->vendor	0-u16max
HOST_DATA	0	dev->pin	0
HOST_DATA	0	dev->pme_support	0-31[c]
HOST_DATA	0	dev->ptm_granularity	0-255[c]
HOST_DATA	0	dev->revision	0-255
HOST_DATA	0	dev->rid	0-u16max[c]
HOST_DATA	0	dev->stored_addr_hi	0-4294967295
HOST_DATA	0	dev->stored_addr_lo	0-4294967295
HOST_DATA	0	dev->subsystem_device	0-u16max
HOST_DATA	0	dev->subsystem_vendor	0-u16max
HOST_DATA	0	dev->supported_speeds	0,2-254[c]
HOST_DATA	0	dev->transparent	0[c]
HOST_DATA	0	dev->vendor	0-u16max
HOST_DATA	0	*dev	s64min-s64max
LOCK2		global &iommu_probe_device_lock

drivers/iommu/intel/iommu.c intel_iommu_release_device() -> intel_pasid_free_table()

Type	Parameter	Key	Value
PARAM_VALUE	0	dev	4096-ptr_max
PARAM_VALUE	0	dev->iommu->iommu_dev	4096-ptr_max
PARAM_VALUE	0	dev->iommu->iommu_dev->dev	4096-ptr_max
PARAM_VALUE	0	dev->iommu->iommu_dev->dev->kobj.sd	4096-ptr_max
PARAM_VALUE	0	dev->iommu->iommu_dev->dev->kobj.sd->attr.notify_next	0,426918848001064960
PARAM_VALUE	0	dev->iommu->iommu_dev->ops->blocked_domain	0,532766077614051328,1309262597071863808,3360818763908841472,5161617956659249152,5314750282517213184,6300359532015144960
PARAM_VALUE	0	dev->iommu->iommu_dev->ops->release_device	4096-ptr_max
PARAM_VALUE	0	dev->iommu->iommu_dev->ops->release_domain	0,109353748397924352,532766077614051328,3360818763908841472,5161617956659249152,8123815121812471808
PARAM_VALUE	0	dev->iommu_group->mutex.dep_map->name	0-255
PARAM_VALUE	0	dev->iommu_group->mutex.first_waiter->list.prev->next	5159360019465732096
PARAM_VALUE	0	dev->iommu_group->mutex.first_waiter->list.prev->prev	5159360019465732096
PARAM_VALUE	0	dev->iommu_group->mutex.osq.tail.counter	0-s32max
PARAM_VALUE	0	dev->iommu_group->mutex.wait_lock.dep_map->name	0-255
PARAM_VALUE	0	dev->iommu_group->mutex.wait_lock.owner	(-1)
PARAM_VALUE	0	dev->iommu_group->mutex.wait_lock.owner_cpu	4294967295
PARAM_VALUE	0	dev->kobj.sd->__parent	0
CAPPED_DATA	0	dev	1
DATA_SOURCE	0	dev	$0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HOST_DATA	0	dev->acpi_flags	0-255
HOST_DATA	0	dev->cap	0-4294967295
HOST_DATA	0	dev->cap_ptr	0-u16max
HOST_DATA	0	dev->cmd_buf_head	0-4294967295
HOST_DATA	0	dev->cmd_buf_tail	0-4294967295
HOST_DATA	0	dev->cmd_sem_paddr	s64min-s64max
HOST_DATA	0	dev->cmd_sem_val	s64min-s64max
HOST_DATA	0	dev->dbg_cap_offset	s32min-s32max
HOST_DATA	0	dev->dbg_mmio_offset	s32min-s32max
HOST_DATA	0	dev->devid	0-u16max
HOST_DATA	0	dev->features	s64min-s64max
HOST_DATA	0	dev->features2	s64min-s64max
HOST_DATA	0	dev->flags	0-u32max
HOST_DATA	0	dev->index	s32min-s32max
HOST_DATA	0	dev->int_enabled	0-1
HOST_DATA	0	dev->iommu.max_pasids	0-u32max
HOST_DATA	0	dev->iommu.ready	0-1
HOST_DATA	0	dev->irtcachedis_enabled	0-1
HOST_DATA	0	dev->lock.magic	0-4294967295
HOST_DATA	0	dev->lock.owner_cpu	0-4294967295
HOST_DATA	0	dev->lock.raw_lock.locked	0-255
HOST_DATA	0	dev->lock.raw_lock.locked_pending	0-u16max
HOST_DATA	0	dev->lock.raw_lock.pending	0-255
HOST_DATA	0	dev->lock.raw_lock.tail	0-u16max
HOST_DATA	0	dev->lock.raw_lock.val.counter	s32min-s32max
HOST_DATA	0	dev->max_banks	0-255
HOST_DATA	0	dev->max_counters	0-255
HOST_DATA	0	dev->mmio_phys	s64min-s64max
HOST_DATA	0	dev->mmio_phys_end	s64min-s64max
HOST_DATA	0	dev->need_sync	0-1
HOST_DATA	0	dev->stored_addr_hi	0-4294967295
HOST_DATA	0	dev->stored_addr_lo	0-4294967295
HOST_DATA	0	*dev	s64min-s64max
LOCK2		&group->mutex
HALF_LOCKED2		global &iommu_probe_device_lock
TYPE_LOCK		(struct iommu_group)->mutex