pci_dev_reset_iommu_done identifier - Linux source code next-20260811

Projects

linux

Versions

FIXME
- FIXME
  - next-20260811

Documented in 1 files:

drivers/iommu/iommu.c, line 4132

Defined in 1 files as a prototype:

include/linux/iommu.h, line 1227 (as a prototype)

Defined in 2 files as a function:

Referenced in 4 files:

Smatch caller information:

drivers/pci/pci.c cxl_reset_bus_function() -> pci_dev_reset_iommu_done()

Type	Parameter	Key	Value
PARAM_VALUE	0	pdev	4096-ptr_max
PARAM_VALUE	0	pdev->bus->self->link_bwctrl->cdev	(-22),(-19),(-12),0-s64max
PARAM_VALUE	0	pdev->dev.cma_area->nranges	s32min-s32max
PARAM_VALUE	0	pdev->dev.iommu_group->default_domain	0-s64max
PARAM_VALUE	0	pdev->dev.msi.data->__iter_idx	0-s64max
PARAM_VALUE	0	pdev->dev.power.wakeirq->status	0-4294967295
PARAM_VALUE	0	pdev->driver->err_handler	0,4096-ptr_max
PARAM_VALUE	0	pdev->is_virtfn	0
PARAM_VALUE	0	pdev->link_bwctrl->cdev	(-22),(-19),(-12),0-s64max
PARAM_VALUE	0	pdev->physfn->bus->self->link_bwctrl->cdev	0,4096-s64max
PARAM_VALUE	0	pdev->physfn->dev.cma_area->available_count	0-s64max
PARAM_VALUE	0	pdev->physfn->dev.cma_area->nranges	s32min-s32max
PARAM_VALUE	0	pdev->physfn->dev.dma_io_tlb_mem->for_alloc	0-1
PARAM_VALUE	0	pdev->physfn->dev.kobj.parent->sd->attr.open->nr_mmapped	0-4294967295
PARAM_VALUE	0	pdev->physfn->dev.kobj.sd->attr.open->nr_mmapped	0-4294967295
PARAM_VALUE	0	pdev->physfn->dev.msi.data->__iter_idx	0-s64max
PARAM_VALUE	0	pdev->physfn->dev.power.wakeirq->status	0-4294967295
PARAM_VALUE	0	pdev->physfn->driver->sriov_get_vf_total_msix	0,3629692746472820736,6488395192013627392
PARAM_VALUE	0	pdev->physfn->driver->sriov_set_msix_vec_count	0,1923382970702811136,7848935108349911040
PARAM_VALUE	0	pdev->physfn->link_bwctrl->cdev	0,4096-s64max
PARAM_VALUE	0	pdev->physfn->p2pdma->p2pmem_published	0-1
PARAM_VALUE	0	pdev->physfn->subordinate->self->link_bwctrl->cdev	0,4096-s64max
PARAM_VALUE	0	pdev->reset_methods	4096-ptr_max
PARAM_VALUE	0	pdev->subordinate->self->link_bwctrl->cdev	(-22),(-19),(-12),0-s64max
PARAM_VALUE	0	*pdev->bus->self->saved_config_space	0-4294967295
PARAM_VALUE	0	*pdev->saved_config_space	0-4294967295
BUF_SIZE	0	pdev	(-1),1-s32max
BUF_SIZE	0	pdev	(-1),1-s32max
CAPPED_DATA	0	pdev	1
DATA_SOURCE	0	pdev	$0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
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->bus->self->pcie_flags_reg	0-u16max
HOST_DATA	0	pdev->bus->self->sriov->offset	0
HOST_DATA	0	pdev->bus->self->sriov->stride	0
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->sriov->class	0-u32max
HOST_DATA	0	pdev->physfn->sriov->hdr_type	0-255
HOST_DATA	0	pdev->physfn->sriov->max_VF_buses	0-255[c]
HOST_DATA	0	pdev->physfn->sriov->offset	0-u16max
HOST_DATA	0	pdev->physfn->sriov->stride	0-u16max
HOST_DATA	0	pdev->physfn->sriov->subsystem_device	0-u16max
HOST_DATA	0	pdev->physfn->sriov->subsystem_vendor	0-u16max
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-31[c]
HOST_DATA	0	pdev->ptm_granularity	0-255[c]
HOST_DATA	0	pdev->rcec_ea->bitmap	0
HOST_DATA	0	pdev->rcec_ea->lastbusn	0[c]
HOST_DATA	0	pdev->revision	0-255
HOST_DATA	0	pdev->sriov->initial_VFs	0
HOST_DATA	0	pdev->sriov->max_VF_buses	0-255[c]
HOST_DATA	0	pdev->sriov->offset	0-u16max
HOST_DATA	0	pdev->sriov->stride	0-u16max
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
HALF_LOCKED2		&device->dev_set->lock
HALF_LOCKED2	0	&pdev->dev.mutex

drivers/pci/pci.c pci_af_flr() -> pci_dev_reset_iommu_done()

Type	Parameter	Key	Value
PARAM_VALUE	0	pdev	4096-ptr_max
PARAM_VALUE	0	pdev->bus	4096-ptr_max
PARAM_VALUE	0	pdev->bus->ops	4096-ptr_max
PARAM_VALUE	0	pdev->bus->ops->read	4096-ptr_max
PARAM_VALUE	0	pdev->bus->ops->write	4096-ptr_max
PARAM_VALUE	0	pdev->bus->self->link_bwctrl->cdev	(-22),(-19),(-12),0-s64max
PARAM_VALUE	0	pdev->dev.cma_area->nranges	s32min-s32max
PARAM_VALUE	0	pdev->dev.iommu_group->default_domain	0-s64max
PARAM_VALUE	0	pdev->dev.msi.data->__iter_idx	0-s64max
PARAM_VALUE	0	pdev->dev.power.wakeirq->status	0-4294967295
PARAM_VALUE	0	pdev->driver->err_handler	0,4096-ptr_max
PARAM_VALUE	0	pdev->error_state	0-2,4-u32max
PARAM_VALUE	0	pdev->is_virtfn	0
PARAM_VALUE	0	pdev->link_bwctrl->cdev	(-22),(-19),(-12),0-s64max
PARAM_VALUE	0	pdev->pcie_cap	0-1
PARAM_VALUE	0	pdev->physfn->bus->self->link_bwctrl->cdev	0,4096-s64max
PARAM_VALUE	0	pdev->physfn->dev.cma_area->available_count	0-s64max
PARAM_VALUE	0	pdev->physfn->dev.cma_area->nranges	s32min-s32max
PARAM_VALUE	0	pdev->physfn->dev.dma_io_tlb_mem->for_alloc	0-1
PARAM_VALUE	0	pdev->physfn->dev.kobj.parent->sd->attr.open->nr_mmapped	0-4294967295
PARAM_VALUE	0	pdev->physfn->dev.kobj.sd->attr.open->nr_mmapped	0-4294967295
PARAM_VALUE	0	pdev->physfn->dev.msi.data->__iter_idx	0-s64max
PARAM_VALUE	0	pdev->physfn->dev.power.wakeirq->status	0-4294967295
PARAM_VALUE	0	pdev->physfn->driver->sriov_get_vf_total_msix	0,3629692746472820736,6488395192013627392
PARAM_VALUE	0	pdev->physfn->driver->sriov_set_msix_vec_count	0,1923382970702811136,7848935108349911040
PARAM_VALUE	0	pdev->physfn->link_bwctrl->cdev	0,4096-s64max
PARAM_VALUE	0	pdev->physfn->p2pdma->p2pmem_published	0-1
PARAM_VALUE	0	pdev->physfn->subordinate->self->link_bwctrl->cdev	0,4096-s64max
PARAM_VALUE	0	pdev->reset_methods	4096-ptr_max
PARAM_VALUE	0	pdev->subordinate->self->link_bwctrl->cdev	(-22),(-19),(-12),0-s64max
PARAM_VALUE	0	*pdev->saved_config_space	0-4294967295
BUF_SIZE	0	pdev	(-1),1-s32max
BUF_SIZE	0	pdev	(-1),1-s32max
CAPPED_DATA	0	pdev	1
DATA_SOURCE	0	pdev	$0
BIT_INFO	0	pdev->dev_flags	0x0,0xfbff
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
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->sriov->class	0-u32max
HOST_DATA	0	pdev->physfn->sriov->hdr_type	0-255
HOST_DATA	0	pdev->physfn->sriov->max_VF_buses	0-255[c]
HOST_DATA	0	pdev->physfn->sriov->offset	0-u16max
HOST_DATA	0	pdev->physfn->sriov->stride	0-u16max
HOST_DATA	0	pdev->physfn->sriov->subsystem_device	0-u16max
HOST_DATA	0	pdev->physfn->sriov->subsystem_vendor	0-u16max
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-31[c]
HOST_DATA	0	pdev->ptm_granularity	0-255[c]
HOST_DATA	0	pdev->rcec_ea->bitmap	0
HOST_DATA	0	pdev->rcec_ea->lastbusn	0[c]
HOST_DATA	0	pdev->revision	0-255
HOST_DATA	0	pdev->sriov->initial_VFs	0
HOST_DATA	0	pdev->sriov->max_VF_buses	0-255[c]
HOST_DATA	0	pdev->sriov->offset	0-u16max
HOST_DATA	0	pdev->sriov->stride	0-u16max
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
HALF_LOCKED2		&device->dev_set->lock
HALF_LOCKED2	0	&pdev->dev.mutex

drivers/pci/pci.c pci_pm_reset() -> pci_dev_reset_iommu_done()

Type	Parameter	Key	Value
PARAM_VALUE	0	pdev	4096-ptr_max
PARAM_VALUE	0	pdev->bus->self->link_bwctrl->cdev	(-22),(-19),(-12),0-s64max
PARAM_VALUE	0	pdev->current_state	0
PARAM_VALUE	0	pdev->dev.cma_area->nranges	s32min-s32max
PARAM_VALUE	0	pdev->dev.iommu_group->default_domain	0-s64max
PARAM_VALUE	0	pdev->dev.msi.data->__iter_idx	0-s64max
PARAM_VALUE	0	pdev->dev.power.wakeirq->status	0-4294967295
PARAM_VALUE	0	pdev->driver->err_handler	0,4096-ptr_max
PARAM_VALUE	0	pdev->error_state	0-2,4-u32max
PARAM_VALUE	0	pdev->is_virtfn	0
PARAM_VALUE	0	pdev->link_bwctrl->cdev	(-22),(-19),(-12),0-s64max
PARAM_VALUE	0	pdev->pcie_cap	0-1
PARAM_VALUE	0	pdev->physfn->bus->self->link_bwctrl->cdev	0,4096-s64max
PARAM_VALUE	0	pdev->physfn->dev.cma_area->available_count	0-s64max
PARAM_VALUE	0	pdev->physfn->dev.cma_area->nranges	s32min-s32max
PARAM_VALUE	0	pdev->physfn->dev.dma_io_tlb_mem->for_alloc	0-1
PARAM_VALUE	0	pdev->physfn->dev.kobj.parent->sd->attr.open->nr_mmapped	0-4294967295
PARAM_VALUE	0	pdev->physfn->dev.kobj.sd->attr.open->nr_mmapped	0-4294967295
PARAM_VALUE	0	pdev->physfn->dev.msi.data->__iter_idx	0-s64max
PARAM_VALUE	0	pdev->physfn->dev.power.wakeirq->status	0-4294967295
PARAM_VALUE	0	pdev->physfn->driver->sriov_get_vf_total_msix	0,3629692746472820736,6488395192013627392
PARAM_VALUE	0	pdev->physfn->driver->sriov_set_msix_vec_count	0,1923382970702811136,7848935108349911040
PARAM_VALUE	0	pdev->physfn->link_bwctrl->cdev	0,4096-s64max
PARAM_VALUE	0	pdev->physfn->p2pdma->p2pmem_published	0-1
PARAM_VALUE	0	pdev->physfn->subordinate->self->link_bwctrl->cdev	0,4096-s64max
PARAM_VALUE	0	pdev->pm_cap	1-255
PARAM_VALUE	0	pdev->reset_methods	4096-ptr_max
PARAM_VALUE	0	pdev->subordinate->self->link_bwctrl->cdev	(-22),(-19),(-12),0-s64max
PARAM_VALUE	0	*pdev->saved_config_space	0-4294967295
BUF_SIZE	0	pdev	(-1),1-s32max
BUF_SIZE	0	pdev	(-1),1-s32max
CAPPED_DATA	0	pdev	1
DATA_SOURCE	0	pdev	$0
BIT_INFO	0	pdev->dev_flags	0x0,0xff7f
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
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[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->sriov->class	0-u32max
HOST_DATA	0	pdev->physfn->sriov->hdr_type	0-255
HOST_DATA	0	pdev->physfn->sriov->max_VF_buses	0-255[c]
HOST_DATA	0	pdev->physfn->sriov->offset	0-u16max
HOST_DATA	0	pdev->physfn->sriov->stride	0-u16max
HOST_DATA	0	pdev->physfn->sriov->subsystem_device	0-u16max
HOST_DATA	0	pdev->physfn->sriov->subsystem_vendor	0-u16max
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-31[c]
HOST_DATA	0	pdev->ptm_granularity	0-255[c]
HOST_DATA	0	pdev->rcec_ea->bitmap	0
HOST_DATA	0	pdev->rcec_ea->lastbusn	0[c]
HOST_DATA	0	pdev->revision	0-255
HOST_DATA	0	pdev->sriov->initial_VFs	0
HOST_DATA	0	pdev->sriov->max_VF_buses	0-255[c]
HOST_DATA	0	pdev->sriov->offset	0-u16max
HOST_DATA	0	pdev->sriov->stride	0-u16max
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
HALF_LOCKED2		&device->dev_set->lock
HALF_LOCKED2	0	&pdev->dev.mutex

drivers/pci/pci.c pci_reset_bus_function() -> pci_dev_reset_iommu_done()

Type	Parameter	Key	Value
PARAM_VALUE	0	pdev	4096-ptr_max
PARAM_VALUE	0	pdev->bus	4096-ptr_max
PARAM_VALUE	0	pdev->bus->self->link_bwctrl->cdev	(-22),(-19),(-12),0-s64max
PARAM_VALUE	0	pdev->dev.cma_area->available_count	0-s64max
PARAM_VALUE	0	pdev->dev.cma_area->nranges	s32min-s32max
PARAM_VALUE	0	pdev->dev.dma_io_tlb_mem->can_grow	0-1
PARAM_VALUE	0	pdev->dev.dma_io_tlb_mem->debugfs	0-s64max
PARAM_VALUE	0	pdev->dev.iommu_group->default_domain	0-s64max
PARAM_VALUE	0	pdev->dev.msi.data->__iter_idx	0-s64max
PARAM_VALUE	0	pdev->dev.power.wakeirq->status	0-4294967295
PARAM_VALUE	0	pdev->driver->err_handler	0,4096-ptr_max
PARAM_VALUE	0	pdev->is_virtfn	0
PARAM_VALUE	0	pdev->link_bwctrl->cdev	(-4095)-s64max
PARAM_VALUE	0	pdev->physfn->bus->self->link_bwctrl->cdev	0-s64max
PARAM_VALUE	0	pdev->physfn->dev.cma_area->available_count	0-s64max
PARAM_VALUE	0	pdev->physfn->dev.cma_area->nranges	s32min-s32max
PARAM_VALUE	0	pdev->physfn->dev.dma_io_tlb_mem->for_alloc	0-1
PARAM_VALUE	0	pdev->physfn->dev.kobj.parent->sd->attr.open->nr_mmapped	0-4294967295
PARAM_VALUE	0	pdev->physfn->dev.kobj.sd->attr.open->nr_mmapped	0-4294967295
PARAM_VALUE	0	pdev->physfn->dev.msi.data->__iter_idx	0-s64max
PARAM_VALUE	0	pdev->physfn->dev.power.wakeirq->status	0-4294967295
PARAM_VALUE	0	pdev->physfn->driver->sriov_get_vf_total_msix	0,3629692746472820736,6488395192013627392
PARAM_VALUE	0	pdev->physfn->driver->sriov_set_msix_vec_count	0,1923382970702811136,7848935108349911040
PARAM_VALUE	0	pdev->physfn->link_bwctrl->cdev	0-s64max
PARAM_VALUE	0	pdev->physfn->p2pdma->p2pmem_published	0-1
PARAM_VALUE	0	pdev->physfn->subordinate->self->link_bwctrl->cdev	0-s64max
PARAM_VALUE	0	pdev->subordinate->self->link_bwctrl->cdev	(-22),(-19),(-12),0-s64max
PARAM_VALUE	0	*pdev->bus->self->saved_config_space	0-4294967295
PARAM_VALUE	0	*pdev->physfn->saved_config_space	0-4294967295
PARAM_VALUE	0	*pdev->saved_config_space	0-4294967295
BUF_SIZE	0	pdev	(-1),1-s32max
BUF_SIZE	0	pdev	(-1),1-s32max
BUF_SIZE	0	pdev->dev.dma_mask	(-1),8
BUF_SIZE	0	pdev->dev.dma_parms	(-1),16
CAPPED_DATA	0	pdev	1
DATA_SOURCE	0	pdev	$0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
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->bus->self->pcie_flags_reg	0-u16max
HOST_DATA	0	pdev->bus->self->sriov->offset	0-u16max
HOST_DATA	0	pdev->bus->self->sriov->stride	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->sriov->class	0-u32max
HOST_DATA	0	pdev->physfn->sriov->hdr_type	0-255
HOST_DATA	0	pdev->physfn->sriov->max_VF_buses	0-255[c]
HOST_DATA	0	pdev->physfn->sriov->offset	0-u16max
HOST_DATA	0	pdev->physfn->sriov->stride	0-u16max
HOST_DATA	0	pdev->physfn->sriov->subsystem_device	0-u16max
HOST_DATA	0	pdev->physfn->sriov->subsystem_vendor	0-u16max
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-31[c]
HOST_DATA	0	pdev->ptm_granularity	0-255[c]
HOST_DATA	0	pdev->rcec_ea->bitmap	0
HOST_DATA	0	pdev->rcec_ea->lastbusn	0[c]
HOST_DATA	0	pdev->revision	0-255
HOST_DATA	0	pdev->sriov->cap	0
HOST_DATA	0	pdev->sriov->initial_VFs	0
HOST_DATA	0	pdev->sriov->link	0,8-240[c]
HOST_DATA	0	pdev->sriov->max_VF_buses	0-255[c]
HOST_DATA	0	pdev->sriov->offset	0-u16max
HOST_DATA	0	pdev->sriov->stride	0-u16max
HOST_DATA	0	pdev->sriov->vf_device	0
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
HALF_LOCKED2		&of->mutex
HALF_LOCKED2	0	&pdev->dev.mutex

drivers/pci/pci.c pcie_flr() -> pci_dev_reset_iommu_done()

Type	Parameter	Key	Value
PARAM_VALUE	0	pdev	4096-ptr_max
PARAM_VALUE	0	pdev->bus->self->link_bwctrl->cdev	(-22),(-19),(-12),0-s64max
PARAM_VALUE	0	pdev->dev.cma_area->available_count	0-s64max
PARAM_VALUE	0	pdev->dev.cma_area->nranges	s32min-s32max
PARAM_VALUE	0	pdev->dev.dma_io_tlb_mem->can_grow	0-1
PARAM_VALUE	0	pdev->dev.dma_io_tlb_mem->debugfs	0-s64max
PARAM_VALUE	0	pdev->dev.iommu_group->default_domain	0-s64max
PARAM_VALUE	0	pdev->dev.power.wakeirq->status	0-4294967295
PARAM_VALUE	0	pdev->driver->err_handler	0,4096-ptr_max
PARAM_VALUE	0	pdev->driver->groups	0
PARAM_VALUE	0	pdev->driver->resume	0,4096-ptr_max
PARAM_VALUE	0	pdev->driver->suspend	0,4096-ptr_max
PARAM_VALUE	0	pdev->link_bwctrl->cdev	(-4095)-s64max
PARAM_VALUE	0	pdev->pcie_cap	0-1
PARAM_VALUE	0	pdev->subordinate->self->link_bwctrl->cdev	(-4095)-s64max
PARAM_VALUE	0	*pdev->physfn->saved_config_space	0-4294967295
PARAM_VALUE	0	*pdev->saved_config_space	0-4294967295
BUF_SIZE	0	pdev	(-1)-s32max
BUF_SIZE	0	pdev	(-1)-s32max
BUF_SIZE	0	pdev->dev.dma_mask	(-1),8
BUF_SIZE	0	pdev->dev.dma_parms	(-1),16
BUF_SIZE	0	pdev->physfn	(-1),1-s32max
DATA_SOURCE	0	pdev	$0
STR_LEN	0	pdev	(-1),9-10,12
STR_LEN	0	pdev	(-1),9-10,12
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
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->dev.flags	0-u32max
HOST_DATA	0	pdev->dev.iommu.max_pasids	0-u32max
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->sriov->class	0-u32max
HOST_DATA	0	pdev->physfn->sriov->hdr_type	0-255
HOST_DATA	0	pdev->physfn->sriov->max_VF_buses	0-255[c]
HOST_DATA	0	pdev->physfn->sriov->offset	0-u16max
HOST_DATA	0	pdev->physfn->sriov->stride	0-u16max
HOST_DATA	0	pdev->physfn->sriov->subsystem_device	0-u16max
HOST_DATA	0	pdev->physfn->sriov->subsystem_vendor	0-u16max
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-31[c]
HOST_DATA	0	pdev->ptm_granularity	0-255[c]
HOST_DATA	0	pdev->rcec_ea->bitmap	0
HOST_DATA	0	pdev->rcec_ea->lastbusn	0[c]
HOST_DATA	0	pdev->revision	0-255
HOST_DATA	0	pdev->sriov->initial_VFs	0
HOST_DATA	0	pdev->sriov->max_VF_buses	0-255[c]
HOST_DATA	0	pdev->sriov->offset	0-u16max
HOST_DATA	0	pdev->sriov->stride	0-u16max
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
HALF_LOCKED2		&accel_dev->state_lock
HALF_LOCKED2		&dev->lock
HALF_LOCKED2		&dev->mutex
HALF_LOCKED2		global &rtnl_mutex
HALF_LOCKED2	0	&pdev->dev.mutex

drivers/pci/pci-acpi.c pci_dev_acpi_reset() -> pci_dev_reset_iommu_done()

Type	Parameter	Key	Value
PARAM_VALUE	0	pdev	4096-ptr_max
PARAM_VALUE	0	pdev->bus->self->link_bwctrl->cdev	(-22),(-19),(-12),0-s64max
PARAM_VALUE	0	pdev->dev.cma_area->nranges	s32min-s32max
PARAM_VALUE	0	pdev->dev.iommu_group->default_domain	0-s64max
PARAM_VALUE	0	pdev->dev.msi.data->__iter_idx	0-s64max
PARAM_VALUE	0	pdev->dev.power.wakeirq->status	0-4294967295
PARAM_VALUE	0	pdev->driver->err_handler	0,4096-ptr_max
PARAM_VALUE	0	pdev->link_bwctrl->cdev	(-22),(-19),(-12),0-s64max
PARAM_VALUE	0	pdev->physfn->bus->self->link_bwctrl->cdev	0,4096-s64max
PARAM_VALUE	0	pdev->physfn->dev.cma_area->available_count	0-s64max
PARAM_VALUE	0	pdev->physfn->dev.cma_area->nranges	s32min-s32max
PARAM_VALUE	0	pdev->physfn->dev.dma_io_tlb_mem->for_alloc	0-1
PARAM_VALUE	0	pdev->physfn->dev.kobj.parent->sd->attr.open->nr_mmapped	0-4294967295
PARAM_VALUE	0	pdev->physfn->dev.kobj.sd->attr.open->nr_mmapped	0-4294967295
PARAM_VALUE	0	pdev->physfn->dev.msi.data->__iter_idx	0-s64max
PARAM_VALUE	0	pdev->physfn->dev.power.wakeirq->status	0-4294967295
PARAM_VALUE	0	pdev->physfn->driver->sriov_get_vf_total_msix	0,3629692746472820736,6488395192013627392
PARAM_VALUE	0	pdev->physfn->driver->sriov_set_msix_vec_count	0,1923382970702811136,7848935108349911040
PARAM_VALUE	0	pdev->physfn->link_bwctrl->cdev	0,4096-s64max
PARAM_VALUE	0	pdev->physfn->p2pdma->p2pmem_published	0-1
PARAM_VALUE	0	pdev->physfn->subordinate->self->link_bwctrl->cdev	0,4096-s64max
PARAM_VALUE	0	pdev->reset_methods	4096-ptr_max
PARAM_VALUE	0	pdev->subordinate->self->link_bwctrl->cdev	(-22),(-19),(-12),0-s64max
PARAM_VALUE	0	*pdev->saved_config_space	0-4294967295
BUF_SIZE	0	pdev	(-1),1-s32max
BUF_SIZE	0	pdev	(-1),1-s32max
CAPPED_DATA	0	pdev	1
DATA_SOURCE	0	pdev	$0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
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->sriov->class	0-u32max
HOST_DATA	0	pdev->physfn->sriov->hdr_type	0-255
HOST_DATA	0	pdev->physfn->sriov->max_VF_buses	0-255[c]
HOST_DATA	0	pdev->physfn->sriov->offset	0-u16max
HOST_DATA	0	pdev->physfn->sriov->stride	0-u16max
HOST_DATA	0	pdev->physfn->sriov->subsystem_device	0-u16max
HOST_DATA	0	pdev->physfn->sriov->subsystem_vendor	0-u16max
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-31[c]
HOST_DATA	0	pdev->ptm_granularity	0-255[c]
HOST_DATA	0	pdev->revision	0-255
HOST_DATA	0	pdev->sriov->max_VF_buses	0-255[c]
HOST_DATA	0	pdev->sriov->offset	0-u16max
HOST_DATA	0	pdev->sriov->stride	0-u16max
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
HALF_LOCKED2		&device->dev_set->lock
HALF_LOCKED2	0	&pdev->dev.mutex

drivers/pci/quirks.c __pci_dev_specific_reset() -> pci_dev_reset_iommu_done()

Type	Parameter	Key	Value
PARAM_VALUE	0	pdev	4096-ptr_max
PARAM_VALUE	0	pdev->bus->self->link_bwctrl->cdev	(-22),(-19),(-12),0-s64max
PARAM_VALUE	0	pdev->dev.cma_area->available_count	0-s64max
PARAM_VALUE	0	pdev->dev.cma_area->nranges	s32min-s32max
PARAM_VALUE	0	pdev->dev.dma_io_tlb_mem->can_grow	0-1
PARAM_VALUE	0	pdev->dev.dma_io_tlb_mem->debugfs	0-s64max
PARAM_VALUE	0	pdev->dev.iommu_group->default_domain	0-s64max
PARAM_VALUE	0	pdev->dev.power.wakeirq->status	0-4294967295
PARAM_VALUE	0	pdev->driver->err_handler	0,4096-ptr_max
PARAM_VALUE	0	pdev->link_bwctrl->cdev	(-22),(-19),(-12),0-s64max
PARAM_VALUE	0	pdev->subordinate->self->link_bwctrl->cdev	(-22),(-19),(-12),0-s64max
PARAM_VALUE	0	*pdev->physfn->saved_config_space	0-4294967295
PARAM_VALUE	0	*pdev->saved_config_space	0-4294967295
BUF_SIZE	0	pdev	(-1),1-s32max
BUF_SIZE	0	pdev	(-1),1-s32max
BUF_SIZE	0	pdev->dev.dma_mask	(-1),8
BUF_SIZE	0	pdev->dev.dma_parms	(-1),16
DATA_SOURCE	0	pdev	$0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
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->dev	s64min-s64max
HOST_DATA	0	pdev->dev.acpi_flags	0-255
HOST_DATA	0	pdev->dev.acs_capabilities	0-u16max
HOST_DATA	0	pdev->dev.bridge->acs_capabilities	0-u16max
HOST_DATA	0	pdev->dev.bridge->class	0-16777215
HOST_DATA	0	pdev->dev.bridge->current_state	0-3[c]
HOST_DATA	0	pdev->dev.bridge->devcap	0-4294967295
HOST_DATA	0	pdev->dev.bridge->devfn	1-503[c]
HOST_DATA	0	pdev->dev.bridge->device	0-u16max
HOST_DATA	0	pdev->dev.bridge->eetlp_prefix_max	0-7[c]
HOST_DATA	0	pdev->dev.bridge->fm_enabled	0-1[c]
HOST_DATA	0	pdev->dev.bridge->hdr_type	0-255[c]
HOST_DATA	0	pdev->dev.bridge->ide_cfg	0-1[c]
HOST_DATA	0	pdev->dev.bridge->ide_tee_limit	0-1[c]
HOST_DATA	0	pdev->dev.bridge->irq	0-255
HOST_DATA	0	pdev->dev.bridge->is_cxl	0-1
HOST_DATA	0	pdev->dev.bridge->multifunction	0-1[c]
HOST_DATA	0	pdev->dev.bridge->nr_ide_mem	0-255[c]
HOST_DATA	0	pdev->dev.bridge->pcie_flags_reg	0-u16max
HOST_DATA	0	pdev->dev.bridge->pcie_mpss	0-7[c]
HOST_DATA	0	pdev->dev.bridge->pin	0
HOST_DATA	0	pdev->dev.bridge->pme_support	0-31[c]
HOST_DATA	0	pdev->dev.bridge->ptm_granularity	0-255[c]
HOST_DATA	0	pdev->dev.bridge->revision	0-255
HOST_DATA	0	pdev->dev.bridge->subsystem_device	0-u16max
HOST_DATA	0	pdev->dev.bridge->subsystem_vendor	0-u16max
HOST_DATA	0	pdev->dev.bridge->supported_speeds	0,2-254[c]
HOST_DATA	0	pdev->dev.bridge->transparent	0[c]
HOST_DATA	0	pdev->dev.bridge->vendor	0-u16max
HOST_DATA	0	pdev->dev.cap	0-4294967295
HOST_DATA	0	pdev->dev.cap_ptr	0-u16max
HOST_DATA	0	pdev->dev.class	0-16777215
HOST_DATA	0	pdev->dev.cmd_buf_head	0-4294967295
HOST_DATA	0	pdev->dev.cmd_buf_tail	0-4294967295
HOST_DATA	0	pdev->dev.cmd_sem_paddr	s64min-s64max
HOST_DATA	0	pdev->dev.cmd_sem_val	s64min-s64max
HOST_DATA	0	pdev->dev.current_state	0-3[c]
HOST_DATA	0	pdev->dev.dbg_cap_offset	s32min-s32max
HOST_DATA	0	pdev->dev.dbg_mmio_offset	s32min-s32max
HOST_DATA	0	pdev->dev.devcap	0-4294967295
HOST_DATA	0	pdev->dev.devfn	1-503[c]
HOST_DATA	0	pdev->dev.device	0-u16max
HOST_DATA	0	pdev->dev.devid	0-u16max
HOST_DATA	0	pdev->dev.eetlp_prefix_max	0-7[c]
HOST_DATA	0	pdev->dev.features	s64min-s64max
HOST_DATA	0	pdev->dev.features2	s64min-s64max
HOST_DATA	0	pdev->dev.flags	0-u32max
HOST_DATA	0	pdev->dev.fm_enabled	0-1[c]
HOST_DATA	0	pdev->dev.hdr_type	0-255[c]
HOST_DATA	0	pdev->dev.ide_cfg	0-1[c]
HOST_DATA	0	pdev->dev.ide_tee_limit	0-1[c]
HOST_DATA	0	pdev->dev.index	s32min-s32max
HOST_DATA	0	pdev->dev.int_enabled	0-1
HOST_DATA	0	pdev->dev.iommu.max_pasids	0-u32max
HOST_DATA	0	pdev->dev.iommu.ready	0-1
HOST_DATA	0	pdev->dev.irq	0-255
HOST_DATA	0	pdev->dev.irtcachedis_enabled	0-1
HOST_DATA	0	pdev->dev.is_cxl	0-1
HOST_DATA	0	pdev->dev.lock.magic	0-4294967295
HOST_DATA	0	pdev->dev.lock.owner_cpu	0-4294967295
HOST_DATA	0	pdev->dev.lock.raw_lock.locked	0-255
HOST_DATA	0	pdev->dev.lock.raw_lock.locked_pending	0-u16max
HOST_DATA	0	pdev->dev.lock.raw_lock.pending	0-255
HOST_DATA	0	pdev->dev.lock.raw_lock.tail	0-u16max
HOST_DATA	0	pdev->dev.lock.raw_lock.val.counter	s32min-s32max
HOST_DATA	0	pdev->dev.max_banks	0-255
HOST_DATA	0	pdev->dev.max_counters	0-255
HOST_DATA	0	pdev->dev.mmio_phys	s64min-s64max
HOST_DATA	0	pdev->dev.mmio_phys_end	s64min-s64max
HOST_DATA	0	pdev->dev.multifunction	0-1[c]
HOST_DATA	0	pdev->dev.need_sync	0-1
HOST_DATA	0	pdev->dev.nr_ide_mem	0-255[c]
HOST_DATA	0	pdev->dev.pcie_flags_reg	0-u16max
HOST_DATA	0	pdev->dev.pcie_mpss	0-7[c]
HOST_DATA	0	pdev->dev.pdev->acs_capabilities	0-u16max
HOST_DATA	0	pdev->dev.pdev->class	0-16777215
HOST_DATA	0	pdev->dev.pdev->current_state	0-3[c]
HOST_DATA	0	pdev->dev.pdev->devcap	0-4294967295
HOST_DATA	0	pdev->dev.pdev->devfn	1-503[c]
HOST_DATA	0	pdev->dev.pdev->device	0-u16max
HOST_DATA	0	pdev->dev.pdev->eetlp_prefix_max	0-7[c]
HOST_DATA	0	pdev->dev.pdev->fm_enabled	0-1[c]
HOST_DATA	0	pdev->dev.pdev->hdr_type	0-255[c]
HOST_DATA	0	pdev->dev.pdev->ide_cfg	0-1[c]
HOST_DATA	0	pdev->dev.pdev->ide_tee_limit	0-1[c]
HOST_DATA	0	pdev->dev.pdev->irq	0-255
HOST_DATA	0	pdev->dev.pdev->is_cxl	0-1
HOST_DATA	0	pdev->dev.pdev->multifunction	0-1[c]
HOST_DATA	0	pdev->dev.pdev->nr_ide_mem	0-255[c]
HOST_DATA	0	pdev->dev.pdev->pcie_flags_reg	0-u16max
HOST_DATA	0	pdev->dev.pdev->pcie_mpss	0-7[c]
HOST_DATA	0	pdev->dev.pdev->pin	0
HOST_DATA	0	pdev->dev.pdev->pme_support	0-31[c]
HOST_DATA	0	pdev->dev.pdev->ptm_granularity	0-255[c]
HOST_DATA	0	pdev->dev.pdev->revision	0-255
HOST_DATA	0	pdev->dev.pdev->subsystem_device	0-u16max
HOST_DATA	0	pdev->dev.pdev->subsystem_vendor	0-u16max
HOST_DATA	0	pdev->dev.pdev->supported_speeds	0,2-254[c]
HOST_DATA	0	pdev->dev.pdev->transparent	0[c]
HOST_DATA	0	pdev->dev.pdev->vendor	0-u16max
HOST_DATA	0	pdev->dev.pin	0
HOST_DATA	0	pdev->dev.pme_support	0-31[c]
HOST_DATA	0	pdev->dev.ptm_granularity	0-255[c]
HOST_DATA	0	pdev->dev.revision	0-255
HOST_DATA	0	pdev->dev.rid	0-u16max[c]
HOST_DATA	0	pdev->dev.stored_addr_hi	0-4294967295
HOST_DATA	0	pdev->dev.stored_addr_lo	0-4294967295
HOST_DATA	0	pdev->dev.subsystem_device	0-u16max
HOST_DATA	0	pdev->dev.subsystem_vendor	0-u16max
HOST_DATA	0	pdev->dev.supported_speeds	0,2-254[c]
HOST_DATA	0	pdev->dev.transparent	0[c]
HOST_DATA	0	pdev->dev.vendor	0-u16max
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->sriov->class	0-u32max
HOST_DATA	0	pdev->physfn->sriov->hdr_type	0-255
HOST_DATA	0	pdev->physfn->sriov->max_VF_buses	0-255[c]
HOST_DATA	0	pdev->physfn->sriov->offset	0-u16max
HOST_DATA	0	pdev->physfn->sriov->stride	0-u16max
HOST_DATA	0	pdev->physfn->sriov->subsystem_device	0-u16max
HOST_DATA	0	pdev->physfn->sriov->subsystem_vendor	0-u16max
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-31[c]
HOST_DATA	0	pdev->ptm_granularity	0-255[c]
HOST_DATA	0	pdev->rcec_ea->bitmap	0
HOST_DATA	0	pdev->rcec_ea->lastbusn	0[c]
HOST_DATA	0	pdev->revision	0-255
HOST_DATA	0	pdev->sriov->cap	0
HOST_DATA	0	pdev->sriov->link	0,8-240[c]
HOST_DATA	0	pdev->sriov->max_VF_buses	0-255[c]
HOST_DATA	0	pdev->sriov->offset	0-u16max
HOST_DATA	0	pdev->sriov->stride	0-u16max
HOST_DATA	0	pdev->sriov->vf_device	0
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
HALF_LOCKED2		&of->mutex
HALF_LOCKED2	0	&pdev->dev.mutex