viot_pci_dev_iommu_init identifier - Linux source code next-20260811

Projects

linux

Versions

FIXME
- FIXME
  - next-20260811

Defined in 1 files as a function:

drivers/acpi/viot.c, line 320 (as a function)

Referenced in 1 files:

drivers/acpi/viot.c, line 369

Smatch caller information:

drivers/pci/search.c pci_for_each_dma_alias() -> pci_for_each_dma_alias param 1()

Type	Parameter	Key	Value
PARAM_VALUE	0	pdev	4096-ptr_max
PARAM_VALUE	0	pdev->bus	4096-ptr_max
PARAM_VALUE	0	pdev->dev.dma_io_tlb_mem->debugfs	0-s64max
PARAM_VALUE	0	pdev->dev.power.wakeirq->status	0-4294967295
PARAM_VALUE	0	*pdev->physfn->saved_config_space	0-4294967295
PARAM_VALUE	0	*pdev->reset_methods	0-255
BUF_SIZE	0	pdev	(-1),88,1904,1984-3064,3712
BUF_SIZE	0	pdev	(-1),88,1904,1984-3064,3712
BUF_SIZE	2	data	s32min-s32max
DATA_SOURCE	0	pdev	$0 [m]
DATA_SOURCE	2	data	$2
RX_PATH
TASK_NOT_RUNNING
HOST_DATA	0	pdev->acs_capabilities	0-u16max
HOST_DATA	0	pdev->bus->bridge_ctl	0-u16max
HOST_DATA	0	pdev->bus->parent->bridge_ctl	0-u16max
HOST_DATA	0	pdev->class	0-16777215
HOST_DATA	0	pdev->current_state	0-3[c]
HOST_DATA	0	pdev->devcap	0-u32max
HOST_DATA	0	pdev->devfn	0-503[c]
HOST_DATA	0	pdev->device	0-u16max
HOST_DATA	0	pdev->eetlp_prefix_max	0-7[c]
HOST_DATA	0	pdev->fm_enabled	0-1[c]
HOST_DATA	0	pdev->hdr_type	0-255[c]
HOST_DATA	0	pdev->ide_cfg	0-1[c]
HOST_DATA	0	pdev->ide_tee_limit	0-1[c]
HOST_DATA	0	pdev->irq	0-255
HOST_DATA	0	pdev->is_cxl	0-1
HOST_DATA	0	pdev->multifunction	0-1[c]
HOST_DATA	0	pdev->nr_ide_mem	0-255[c]
HOST_DATA	0	pdev->pcie_flags_reg	0-u16max
HOST_DATA	0	pdev->pcie_mpss	0-7[c]
HOST_DATA	0	pdev->physfn->acs_capabilities	0-u16max
HOST_DATA	0	pdev->physfn->bus->bridge_ctl	0-u16max
HOST_DATA	0	pdev->physfn->bus->parent->bridge_ctl	0-u16max
HOST_DATA	0	pdev->physfn->class	0-16777215
HOST_DATA	0	pdev->physfn->current_state	0-3[c]
HOST_DATA	0	pdev->physfn->devcap	0-u32max
HOST_DATA	0	pdev->physfn->devfn	1-503[c]
HOST_DATA	0	pdev->physfn->device	0-u16max
HOST_DATA	0	pdev->physfn->eetlp_prefix_max	0-7[c]
HOST_DATA	0	pdev->physfn->fm_enabled	0-1[c]
HOST_DATA	0	pdev->physfn->hdr_type	0-255[c]
HOST_DATA	0	pdev->physfn->ide_cfg	0-1[c]
HOST_DATA	0	pdev->physfn->ide_tee_limit	0-1[c]
HOST_DATA	0	pdev->physfn->irq	0-255
HOST_DATA	0	pdev->physfn->is_cxl	0-1
HOST_DATA	0	pdev->physfn->multifunction	0-1[c]
HOST_DATA	0	pdev->physfn->nr_ide_mem	0-255[c]
HOST_DATA	0	pdev->physfn->pcie_flags_reg	0-u16max
HOST_DATA	0	pdev->physfn->pcie_mpss	0-7[c]
HOST_DATA	0	pdev->physfn->pin	0
HOST_DATA	0	pdev->physfn->pme_support	0-31[c]
HOST_DATA	0	pdev->physfn->ptm_granularity	0-255[c]
HOST_DATA	0	pdev->physfn->revision	0-255
HOST_DATA	0	pdev->physfn->subsystem_device	0-u16max
HOST_DATA	0	pdev->physfn->subsystem_vendor	0-u16max
HOST_DATA	0	pdev->physfn->supported_speeds	0,2-254[c]
HOST_DATA	0	pdev->physfn->transparent	0[c]
HOST_DATA	0	pdev->physfn->vendor	0-u16max
HOST_DATA	0	pdev->pin	0
HOST_DATA	0	pdev->pme_support	0[c]
HOST_DATA	0	pdev->ptm_granularity	0-255[c]
HOST_DATA	0	pdev->revision	0-255
HOST_DATA	0	pdev->subsystem_device	0-u16max
HOST_DATA	0	pdev->subsystem_vendor	0-u16max
HOST_DATA	0	pdev->supported_speeds	0,2-254[c]
HOST_DATA	0	pdev->transparent	0[c]
HOST_DATA	0	pdev->vendor	0-u16max
HOST_DATA	0	*pdev->dev.driver_data	s64min-s64max
HOST_DATA	0	*pdev->physfn->dev.driver_data	s64min-s64max
HOST_DATA	1	dev_id	0-u16max[c]
UNITS	0	pdev	unit_byte
UNITS	2	data	unit_byte
HALF_LOCKED2		&iommu->lock
HALF_LOCKED2		_T->lock
HALF_LOCKED2		flags
HALF_LOCKED2		global &iommu_probe_device_lock
HALF_LOCKED2		global &iommu_table_lock

drivers/pci/search.c pci_for_each_dma_alias() -> pci_for_each_dma_alias param 1()

Type	Parameter	Key	Value
PARAM_VALUE	0	pdev	4096-ptr_max
PARAM_VALUE	0	pdev->bus	4096-ptr_max
PARAM_VALUE	0	pdev->dev.dma_io_tlb_mem->debugfs	0-s64max
PARAM_VALUE	0	pdev->dev.power.wakeirq->status	0-4294967295
PARAM_VALUE	0	pdev->dma_alias_mask	1-u64max
PARAM_VALUE	0	*pdev->physfn->saved_config_space	0-4294967295
PARAM_VALUE	0	*pdev->reset_methods	0-255
BUF_SIZE	0	pdev	(-1),88,1904,1984-3064,3712
BUF_SIZE	0	pdev	(-1),88,1904,1984-3064,3712
BUF_SIZE	2	data	s32min-s32max
DATA_SOURCE	0	pdev	$0 [m]
DATA_SOURCE	2	data	$2
BIT_INFO	1	dev_id	0x0,0xff7f
RX_PATH
TASK_NOT_RUNNING
HOST_DATA	0	pdev->acs_capabilities	0-u16max
HOST_DATA	0	pdev->bus->bridge_ctl	0-u16max
HOST_DATA	0	pdev->bus->parent->bridge_ctl	0-u16max
HOST_DATA	0	pdev->class	0-16777215
HOST_DATA	0	pdev->current_state	0-3[c]
HOST_DATA	0	pdev->devcap	0-u32max
HOST_DATA	0	pdev->devfn	0-503[c]
HOST_DATA	0	pdev->device	0-u16max
HOST_DATA	0	pdev->eetlp_prefix_max	0-7[c]
HOST_DATA	0	pdev->fm_enabled	0-1[c]
HOST_DATA	0	pdev->hdr_type	0-255[c]
HOST_DATA	0	pdev->ide_cfg	0-1[c]
HOST_DATA	0	pdev->ide_tee_limit	0-1[c]
HOST_DATA	0	pdev->irq	0-255
HOST_DATA	0	pdev->is_cxl	0-1
HOST_DATA	0	pdev->multifunction	0-1[c]
HOST_DATA	0	pdev->nr_ide_mem	0-255[c]
HOST_DATA	0	pdev->pcie_flags_reg	0-u16max
HOST_DATA	0	pdev->pcie_mpss	0-7[c]
HOST_DATA	0	pdev->physfn->acs_capabilities	0-u16max
HOST_DATA	0	pdev->physfn->bus->bridge_ctl	0-u16max
HOST_DATA	0	pdev->physfn->bus->parent->bridge_ctl	0-u16max
HOST_DATA	0	pdev->physfn->class	0-16777215
HOST_DATA	0	pdev->physfn->current_state	0-3[c]
HOST_DATA	0	pdev->physfn->devcap	0-u32max
HOST_DATA	0	pdev->physfn->devfn	1-503[c]
HOST_DATA	0	pdev->physfn->device	0-u16max
HOST_DATA	0	pdev->physfn->eetlp_prefix_max	0-7[c]
HOST_DATA	0	pdev->physfn->fm_enabled	0-1[c]
HOST_DATA	0	pdev->physfn->hdr_type	0-255[c]
HOST_DATA	0	pdev->physfn->ide_cfg	0-1[c]
HOST_DATA	0	pdev->physfn->ide_tee_limit	0-1[c]
HOST_DATA	0	pdev->physfn->irq	0-255
HOST_DATA	0	pdev->physfn->is_cxl	0-1
HOST_DATA	0	pdev->physfn->multifunction	0-1[c]
HOST_DATA	0	pdev->physfn->nr_ide_mem	0-255[c]
HOST_DATA	0	pdev->physfn->pcie_flags_reg	0-u16max
HOST_DATA	0	pdev->physfn->pcie_mpss	0-7[c]
HOST_DATA	0	pdev->physfn->pin	0
HOST_DATA	0	pdev->physfn->pme_support	0-31[c]
HOST_DATA	0	pdev->physfn->ptm_granularity	0-255[c]
HOST_DATA	0	pdev->physfn->revision	0-255
HOST_DATA	0	pdev->physfn->subsystem_device	0-u16max
HOST_DATA	0	pdev->physfn->subsystem_vendor	0-u16max
HOST_DATA	0	pdev->physfn->supported_speeds	0,2-254[c]
HOST_DATA	0	pdev->physfn->transparent	0[c]
HOST_DATA	0	pdev->physfn->vendor	0-u16max
HOST_DATA	0	pdev->pin	0
HOST_DATA	0	pdev->pme_support	0[c]
HOST_DATA	0	pdev->ptm_granularity	0-255[c]
HOST_DATA	0	pdev->revision	0-255
HOST_DATA	0	pdev->subsystem_device	0-u16max
HOST_DATA	0	pdev->subsystem_vendor	0-u16max
HOST_DATA	0	pdev->supported_speeds	0,2-254[c]
HOST_DATA	0	pdev->transparent	0[c]
HOST_DATA	0	pdev->vendor	0-u16max
HOST_DATA	0	*pdev->dev.driver_data	s64min-s64max
HOST_DATA	0	*pdev->physfn->dev.driver_data	s64min-s64max
HOST_DATA	2	data->acpi_flags	0-255
HOST_DATA	2	data->acs_capabilities	0-u16max
HOST_DATA	2	data->bridge->acs_capabilities	0-u16max
HOST_DATA	2	data->bridge->class	0-16777215
HOST_DATA	2	data->bridge->current_state	0-3[c]
HOST_DATA	2	data->bridge->devcap	0-4294967295
HOST_DATA	2	data->bridge->devfn	0-503[c]
HOST_DATA	2	data->bridge->device	0-u16max
HOST_DATA	2	data->bridge->eetlp_prefix_max	0-7[c]
HOST_DATA	2	data->bridge->fm_enabled	0-1[c]
HOST_DATA	2	data->bridge->hdr_type	0-255[c]
HOST_DATA	2	data->bridge->ide_cfg	0-1[c]
HOST_DATA	2	data->bridge->ide_tee_limit	0-1[c]
HOST_DATA	2	data->bridge->irq	0-255
HOST_DATA	2	data->bridge->is_cxl	0-1
HOST_DATA	2	data->bridge->multifunction	0-1[c]
HOST_DATA	2	data->bridge->nr_ide_mem	0-255[c]
HOST_DATA	2	data->bridge->pcie_flags_reg	0-u16max
HOST_DATA	2	data->bridge->pcie_mpss	0-7[c]
HOST_DATA	2	data->bridge->pin	0
HOST_DATA	2	data->bridge->ptm_granularity	0-255[c]
HOST_DATA	2	data->bridge->revision	0-255
HOST_DATA	2	data->bridge->subsystem_device	0-u16max
HOST_DATA	2	data->bridge->subsystem_vendor	0-u16max
HOST_DATA	2	data->bridge->supported_speeds	0,2-254[c]
HOST_DATA	2	data->bridge->transparent	0[c]
HOST_DATA	2	data->bridge->vendor	0-u16max
HOST_DATA	2	data->cap	0-4294967295
HOST_DATA	2	data->cap_ptr	0-u16max
HOST_DATA	2	data->class	0-16777215
HOST_DATA	2	data->cmd_buf_head	0-4294967295
HOST_DATA	2	data->cmd_buf_tail	0-4294967295
HOST_DATA	2	data->cmd_sem_paddr	s64min-s64max
HOST_DATA	2	data->cmd_sem_val	s64min-s64max
HOST_DATA	2	data->current_state	0-3[c]
HOST_DATA	2	data->dbg_cap_offset	s32min-s32max
HOST_DATA	2	data->dbg_mmio_offset	s32min-s32max
HOST_DATA	2	data->devcap	0-4294967295
HOST_DATA	2	data->devfn	0-503[c]
HOST_DATA	2	data->device	0-u16max
HOST_DATA	2	data->devid	0-u16max
HOST_DATA	2	data->eetlp_prefix_max	0-7[c]
HOST_DATA	2	data->features	s64min-s64max
HOST_DATA	2	data->features2	s64min-s64max
HOST_DATA	2	data->flags	0-4294967295
HOST_DATA	2	data->fm_enabled	0-1[c]
HOST_DATA	2	data->hdr_type	0-255[c]
HOST_DATA	2	data->ide_cfg	0-1[c]
HOST_DATA	2	data->ide_tee_limit	0-1[c]
HOST_DATA	2	data->index	s32min-s32max
HOST_DATA	2	data->int_enabled	0-1
HOST_DATA	2	data->iommu.max_pasids	0-4294967295
HOST_DATA	2	data->iommu.ready	0-1
HOST_DATA	2	data->irq	0-255
HOST_DATA	2	data->irtcachedis_enabled	0-1
HOST_DATA	2	data->is_cxl	0-1
HOST_DATA	2	data->lock.magic	0-4294967295
HOST_DATA	2	data->lock.owner_cpu	0-4294967295
HOST_DATA	2	data->lock.raw_lock.locked	0-255
HOST_DATA	2	data->lock.raw_lock.locked_pending	0-u16max
HOST_DATA	2	data->lock.raw_lock.pending	0-255
HOST_DATA	2	data->lock.raw_lock.tail	0-u16max
HOST_DATA	2	data->lock.raw_lock.val.counter	s32min-s32max
HOST_DATA	2	data->max_banks	0-255
HOST_DATA	2	data->max_counters	0-255
HOST_DATA	2	data->mmio_phys	s64min-s64max
HOST_DATA	2	data->mmio_phys_end	s64min-s64max
HOST_DATA	2	data->multifunction	0-1[c]
HOST_DATA	2	data->need_sync	0-1
HOST_DATA	2	data->nr_ide_mem	0-255[c]
HOST_DATA	2	data->pcie_flags_reg	0-u16max
HOST_DATA	2	data->pcie_mpss	0-7[c]
HOST_DATA	2	data->pdev->acs_capabilities	0-u16max
HOST_DATA	2	data->pdev->class	0-16777215
HOST_DATA	2	data->pdev->current_state	0-3[c]
HOST_DATA	2	data->pdev->devcap	0-4294967295
HOST_DATA	2	data->pdev->devfn	0-503[c]
HOST_DATA	2	data->pdev->device	0-u16max
HOST_DATA	2	data->pdev->eetlp_prefix_max	0-7[c]
HOST_DATA	2	data->pdev->fm_enabled	0-1[c]
HOST_DATA	2	data->pdev->hdr_type	0-255[c]
HOST_DATA	2	data->pdev->ide_cfg	0-1[c]
HOST_DATA	2	data->pdev->ide_tee_limit	0-1[c]
HOST_DATA	2	data->pdev->irq	0-255
HOST_DATA	2	data->pdev->is_cxl	0-1
HOST_DATA	2	data->pdev->multifunction	0-1[c]
HOST_DATA	2	data->pdev->nr_ide_mem	0-255[c]
HOST_DATA	2	data->pdev->pcie_flags_reg	0-u16max
HOST_DATA	2	data->pdev->pcie_mpss	0-7[c]
HOST_DATA	2	data->pdev->pin	0
HOST_DATA	2	data->pdev->ptm_granularity	0-255[c]
HOST_DATA	2	data->pdev->revision	0-255
HOST_DATA	2	data->pdev->subsystem_device	0-u16max
HOST_DATA	2	data->pdev->subsystem_vendor	0-u16max
HOST_DATA	2	data->pdev->supported_speeds	0,2-254[c]
HOST_DATA	2	data->pdev->transparent	0[c]
HOST_DATA	2	data->pdev->vendor	0-u16max
HOST_DATA	2	data->pin	0
HOST_DATA	2	data->ptm_granularity	0-255[c]
HOST_DATA	2	data->revision	0-255
HOST_DATA	2	data->rid	0-u16max[c]
HOST_DATA	2	data->stored_addr_hi	0-4294967295
HOST_DATA	2	data->stored_addr_lo	0-4294967295
HOST_DATA	2	data->subsystem_device	0-u16max
HOST_DATA	2	data->subsystem_vendor	0-u16max
HOST_DATA	2	data->supported_speeds	0,2-254[c]
HOST_DATA	2	data->transparent	0[c]
HOST_DATA	2	data->vendor	0-u16max
HOST_DATA	2	*data	s64min-s64max
UNITS	0	pdev	unit_byte
UNITS	2	data	unit_byte
HALF_LOCKED2		&iommu->lock
HALF_LOCKED2		_T->lock
HALF_LOCKED2		flags
HALF_LOCKED2		global &iommu_probe_device_lock
HALF_LOCKED2		global &iommu_table_lock

drivers/pci/search.c pci_for_each_dma_alias() -> pci_for_each_dma_alias param 1()

Type	Parameter	Key	Value
PARAM_VALUE	0	pdev	4096-ptr_max
PARAM_VALUE	0	pdev->pcie_cap	1
PARAM_VALUE	0	pdev->subordinate	4096-ptr_max
PARAM_VALUE	1	dev_id	0,256-65280
BUF_SIZE	2	data	s32min-s32max
DATA_SOURCE	2	data	$2
BIT_INFO	0	pdev->dev_flags	0x0,0xbdff
BIT_INFO	1	dev_id	0x0,0xff00
RX_PATH
TASK_NOT_RUNNING
HOST_DATA	2	data->acpi_flags	0-255
HOST_DATA	2	data->acs_capabilities	0-u16max
HOST_DATA	2	data->bridge->acs_capabilities	0-u16max
HOST_DATA	2	data->bridge->class	0-16777215
HOST_DATA	2	data->bridge->current_state	0-3[c]
HOST_DATA	2	data->bridge->devcap	0-4294967295
HOST_DATA	2	data->bridge->devfn	0-503[c]
HOST_DATA	2	data->bridge->device	0-u16max
HOST_DATA	2	data->bridge->eetlp_prefix_max	0-7[c]
HOST_DATA	2	data->bridge->fm_enabled	0-1[c]
HOST_DATA	2	data->bridge->hdr_type	0-255[c]
HOST_DATA	2	data->bridge->ide_cfg	0-1[c]
HOST_DATA	2	data->bridge->ide_tee_limit	0-1[c]
HOST_DATA	2	data->bridge->irq	0-255
HOST_DATA	2	data->bridge->is_cxl	0-1
HOST_DATA	2	data->bridge->multifunction	0-1[c]
HOST_DATA	2	data->bridge->nr_ide_mem	0-255[c]
HOST_DATA	2	data->bridge->pcie_flags_reg	0-u16max
HOST_DATA	2	data->bridge->pcie_mpss	0-7[c]
HOST_DATA	2	data->bridge->pin	0
HOST_DATA	2	data->bridge->ptm_granularity	0-255[c]
HOST_DATA	2	data->bridge->revision	0-255
HOST_DATA	2	data->bridge->subsystem_device	0-u16max
HOST_DATA	2	data->bridge->subsystem_vendor	0-u16max
HOST_DATA	2	data->bridge->supported_speeds	0,2-254[c]
HOST_DATA	2	data->bridge->transparent	0[c]
HOST_DATA	2	data->bridge->vendor	0-u16max
HOST_DATA	2	data->cap	0-4294967295
HOST_DATA	2	data->cap_ptr	0-u16max
HOST_DATA	2	data->class	0-16777215
HOST_DATA	2	data->cmd_buf_head	0-4294967295
HOST_DATA	2	data->cmd_buf_tail	0-4294967295
HOST_DATA	2	data->cmd_sem_paddr	s64min-s64max
HOST_DATA	2	data->cmd_sem_val	s64min-s64max
HOST_DATA	2	data->current_state	0-3[c]
HOST_DATA	2	data->dbg_cap_offset	s32min-s32max
HOST_DATA	2	data->dbg_mmio_offset	s32min-s32max
HOST_DATA	2	data->devcap	0-4294967295
HOST_DATA	2	data->devfn	0-503[c]
HOST_DATA	2	data->device	0-u16max
HOST_DATA	2	data->devid	0-u16max
HOST_DATA	2	data->eetlp_prefix_max	0-7[c]
HOST_DATA	2	data->features	s64min-s64max
HOST_DATA	2	data->features2	s64min-s64max
HOST_DATA	2	data->flags	0-4294967295
HOST_DATA	2	data->fm_enabled	0-1[c]
HOST_DATA	2	data->hdr_type	0-255[c]
HOST_DATA	2	data->ide_cfg	0-1[c]
HOST_DATA	2	data->ide_tee_limit	0-1[c]
HOST_DATA	2	data->index	s32min-s32max
HOST_DATA	2	data->int_enabled	0-1
HOST_DATA	2	data->iommu.max_pasids	0-4294967295
HOST_DATA	2	data->iommu.ready	0-1
HOST_DATA	2	data->irq	0-255
HOST_DATA	2	data->irtcachedis_enabled	0-1
HOST_DATA	2	data->is_cxl	0-1
HOST_DATA	2	data->lock.magic	0-4294967295
HOST_DATA	2	data->lock.owner_cpu	0-4294967295
HOST_DATA	2	data->lock.raw_lock.locked	0-255
HOST_DATA	2	data->lock.raw_lock.locked_pending	0-u16max
HOST_DATA	2	data->lock.raw_lock.pending	0-255
HOST_DATA	2	data->lock.raw_lock.tail	0-u16max
HOST_DATA	2	data->lock.raw_lock.val.counter	s32min-s32max
HOST_DATA	2	data->max_banks	0-255
HOST_DATA	2	data->max_counters	0-255
HOST_DATA	2	data->mmio_phys	s64min-s64max
HOST_DATA	2	data->mmio_phys_end	s64min-s64max
HOST_DATA	2	data->multifunction	0-1[c]
HOST_DATA	2	data->need_sync	0-1
HOST_DATA	2	data->nr_ide_mem	0-255[c]
HOST_DATA	2	data->pcie_flags_reg	0-u16max
HOST_DATA	2	data->pcie_mpss	0-7[c]
HOST_DATA	2	data->pdev->acs_capabilities	0-u16max
HOST_DATA	2	data->pdev->class	0-16777215
HOST_DATA	2	data->pdev->current_state	0-3[c]
HOST_DATA	2	data->pdev->devcap	0-4294967295
HOST_DATA	2	data->pdev->devfn	0-503[c]
HOST_DATA	2	data->pdev->device	0-u16max
HOST_DATA	2	data->pdev->eetlp_prefix_max	0-7[c]
HOST_DATA	2	data->pdev->fm_enabled	0-1[c]
HOST_DATA	2	data->pdev->hdr_type	0-255[c]
HOST_DATA	2	data->pdev->ide_cfg	0-1[c]
HOST_DATA	2	data->pdev->ide_tee_limit	0-1[c]
HOST_DATA	2	data->pdev->irq	0-255
HOST_DATA	2	data->pdev->is_cxl	0-1
HOST_DATA	2	data->pdev->multifunction	0-1[c]
HOST_DATA	2	data->pdev->nr_ide_mem	0-255[c]
HOST_DATA	2	data->pdev->pcie_flags_reg	0-u16max
HOST_DATA	2	data->pdev->pcie_mpss	0-7[c]
HOST_DATA	2	data->pdev->pin	0
HOST_DATA	2	data->pdev->ptm_granularity	0-255[c]
HOST_DATA	2	data->pdev->revision	0-255
HOST_DATA	2	data->pdev->subsystem_device	0-u16max
HOST_DATA	2	data->pdev->subsystem_vendor	0-u16max
HOST_DATA	2	data->pdev->supported_speeds	0,2-254[c]
HOST_DATA	2	data->pdev->transparent	0[c]
HOST_DATA	2	data->pdev->vendor	0-u16max
HOST_DATA	2	data->pin	0
HOST_DATA	2	data->ptm_granularity	0-255[c]
HOST_DATA	2	data->revision	0-255
HOST_DATA	2	data->rid	0-u16max[c]
HOST_DATA	2	data->stored_addr_hi	0-4294967295
HOST_DATA	2	data->stored_addr_lo	0-4294967295
HOST_DATA	2	data->subsystem_device	0-u16max
HOST_DATA	2	data->subsystem_vendor	0-u16max
HOST_DATA	2	data->supported_speeds	0,2-254[c]
HOST_DATA	2	data->transparent	0[c]
HOST_DATA	2	data->vendor	0-u16max
HOST_DATA	2	*data	s64min-s64max
UNITS	2	data	unit_byte
HALF_LOCKED2		&iommu->lock
HALF_LOCKED2		_T->lock
HALF_LOCKED2		flags
HALF_LOCKED2		global &iommu_probe_device_lock
HALF_LOCKED2		global &iommu_table_lock

drivers/pci/search.c pci_for_each_dma_alias() -> pci_for_each_dma_alias param 1()

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

drivers/pci/search.c pci_for_each_dma_alias() -> pci_for_each_dma_alias param 1()

Type	Parameter	Key	Value
PARAM_VALUE	0	pdev	4096-ptr_max
PARAM_VALUE	0	pdev->dev_flags	32-u16max
PARAM_VALUE	0	pdev->pcie_cap	0
PARAM_VALUE	0	pdev->subordinate	4096-ptr_max
PARAM_VALUE	1	dev_id	0,256-65280
BUF_SIZE	2	data	s32min-s32max
DATA_SOURCE	2	data	$2
BIT_INFO	0	pdev->dev_flags	0x20,0xfdff
BIT_INFO	1	dev_id	0x0,0xff00
RX_PATH
TASK_NOT_RUNNING
HOST_DATA	2	data->acpi_flags	0-255
HOST_DATA	2	data->acs_capabilities	0-u16max
HOST_DATA	2	data->bridge->acs_capabilities	0-u16max
HOST_DATA	2	data->bridge->class	0-16777215
HOST_DATA	2	data->bridge->current_state	0-3[c]
HOST_DATA	2	data->bridge->devcap	0-4294967295
HOST_DATA	2	data->bridge->devfn	0-503[c]
HOST_DATA	2	data->bridge->device	0-u16max
HOST_DATA	2	data->bridge->eetlp_prefix_max	0-7[c]
HOST_DATA	2	data->bridge->fm_enabled	0-1[c]
HOST_DATA	2	data->bridge->hdr_type	0-255[c]
HOST_DATA	2	data->bridge->ide_cfg	0-1[c]
HOST_DATA	2	data->bridge->ide_tee_limit	0-1[c]
HOST_DATA	2	data->bridge->irq	0-255
HOST_DATA	2	data->bridge->is_cxl	0-1
HOST_DATA	2	data->bridge->multifunction	0-1[c]
HOST_DATA	2	data->bridge->nr_ide_mem	0-255[c]
HOST_DATA	2	data->bridge->pcie_flags_reg	0-u16max
HOST_DATA	2	data->bridge->pcie_mpss	0-7[c]
HOST_DATA	2	data->bridge->pin	0
HOST_DATA	2	data->bridge->ptm_granularity	0-255[c]
HOST_DATA	2	data->bridge->revision	0-255
HOST_DATA	2	data->bridge->subsystem_device	0-u16max
HOST_DATA	2	data->bridge->subsystem_vendor	0-u16max
HOST_DATA	2	data->bridge->supported_speeds	0,2-254[c]
HOST_DATA	2	data->bridge->transparent	0[c]
HOST_DATA	2	data->bridge->vendor	0-u16max
HOST_DATA	2	data->cap	0-4294967295
HOST_DATA	2	data->cap_ptr	0-u16max
HOST_DATA	2	data->class	0-16777215
HOST_DATA	2	data->cmd_buf_head	0-4294967295
HOST_DATA	2	data->cmd_buf_tail	0-4294967295
HOST_DATA	2	data->cmd_sem_paddr	s64min-s64max
HOST_DATA	2	data->cmd_sem_val	s64min-s64max
HOST_DATA	2	data->current_state	0-3[c]
HOST_DATA	2	data->dbg_cap_offset	s32min-s32max
HOST_DATA	2	data->dbg_mmio_offset	s32min-s32max
HOST_DATA	2	data->devcap	0-4294967295
HOST_DATA	2	data->devfn	0-503[c]
HOST_DATA	2	data->device	0-u16max
HOST_DATA	2	data->devid	0-u16max
HOST_DATA	2	data->eetlp_prefix_max	0-7[c]
HOST_DATA	2	data->features	s64min-s64max
HOST_DATA	2	data->features2	s64min-s64max
HOST_DATA	2	data->flags	0-4294967295
HOST_DATA	2	data->fm_enabled	0-1[c]
HOST_DATA	2	data->hdr_type	0-255[c]
HOST_DATA	2	data->ide_cfg	0-1[c]
HOST_DATA	2	data->ide_tee_limit	0-1[c]
HOST_DATA	2	data->index	s32min-s32max
HOST_DATA	2	data->int_enabled	0-1
HOST_DATA	2	data->iommu.max_pasids	0-4294967295
HOST_DATA	2	data->iommu.ready	0-1
HOST_DATA	2	data->irq	0-255
HOST_DATA	2	data->irtcachedis_enabled	0-1
HOST_DATA	2	data->is_cxl	0-1
HOST_DATA	2	data->lock.magic	0-4294967295
HOST_DATA	2	data->lock.owner_cpu	0-4294967295
HOST_DATA	2	data->lock.raw_lock.locked	0-255
HOST_DATA	2	data->lock.raw_lock.locked_pending	0-u16max
HOST_DATA	2	data->lock.raw_lock.pending	0-255
HOST_DATA	2	data->lock.raw_lock.tail	0-u16max
HOST_DATA	2	data->lock.raw_lock.val.counter	s32min-s32max
HOST_DATA	2	data->max_banks	0-255
HOST_DATA	2	data->max_counters	0-255
HOST_DATA	2	data->mmio_phys	s64min-s64max
HOST_DATA	2	data->mmio_phys_end	s64min-s64max
HOST_DATA	2	data->multifunction	0-1[c]
HOST_DATA	2	data->need_sync	0-1
HOST_DATA	2	data->nr_ide_mem	0-255[c]
HOST_DATA	2	data->pcie_flags_reg	0-u16max
HOST_DATA	2	data->pcie_mpss	0-7[c]
HOST_DATA	2	data->pdev->acs_capabilities	0-u16max
HOST_DATA	2	data->pdev->class	0-16777215
HOST_DATA	2	data->pdev->current_state	0-3[c]
HOST_DATA	2	data->pdev->devcap	0-4294967295
HOST_DATA	2	data->pdev->devfn	0-503[c]
HOST_DATA	2	data->pdev->device	0-u16max
HOST_DATA	2	data->pdev->eetlp_prefix_max	0-7[c]
HOST_DATA	2	data->pdev->fm_enabled	0-1[c]
HOST_DATA	2	data->pdev->hdr_type	0-255[c]
HOST_DATA	2	data->pdev->ide_cfg	0-1[c]
HOST_DATA	2	data->pdev->ide_tee_limit	0-1[c]
HOST_DATA	2	data->pdev->irq	0-255
HOST_DATA	2	data->pdev->is_cxl	0-1
HOST_DATA	2	data->pdev->multifunction	0-1[c]
HOST_DATA	2	data->pdev->nr_ide_mem	0-255[c]
HOST_DATA	2	data->pdev->pcie_flags_reg	0-u16max
HOST_DATA	2	data->pdev->pcie_mpss	0-7[c]
HOST_DATA	2	data->pdev->pin	0
HOST_DATA	2	data->pdev->ptm_granularity	0-255[c]
HOST_DATA	2	data->pdev->revision	0-255
HOST_DATA	2	data->pdev->subsystem_device	0-u16max
HOST_DATA	2	data->pdev->subsystem_vendor	0-u16max
HOST_DATA	2	data->pdev->supported_speeds	0,2-254[c]
HOST_DATA	2	data->pdev->transparent	0[c]
HOST_DATA	2	data->pdev->vendor	0-u16max
HOST_DATA	2	data->pin	0
HOST_DATA	2	data->ptm_granularity	0-255[c]
HOST_DATA	2	data->revision	0-255
HOST_DATA	2	data->rid	0-u16max[c]
HOST_DATA	2	data->stored_addr_hi	0-4294967295
HOST_DATA	2	data->stored_addr_lo	0-4294967295
HOST_DATA	2	data->subsystem_device	0-u16max
HOST_DATA	2	data->subsystem_vendor	0-u16max
HOST_DATA	2	data->supported_speeds	0,2-254[c]
HOST_DATA	2	data->transparent	0[c]
HOST_DATA	2	data->vendor	0-u16max
HOST_DATA	2	*data	s64min-s64max
UNITS	2	data	unit_byte
HALF_LOCKED2		&iommu->lock
HALF_LOCKED2		_T->lock
HALF_LOCKED2		flags
HALF_LOCKED2		global &iommu_probe_device_lock
HALF_LOCKED2		global &iommu_table_lock

drivers/pci/search.c pci_for_each_dma_alias() -> pci_for_each_dma_alias param 1()

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