Open Menu /

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/iommu/amd/iommu.c alloc_irq_index() -> alloc_irq_table()

Type Parameter Key Value
PARAM_VALUE 0 iommu 4096-ptr_max
PARAM_VALUE 0 iommu->pci_seg 4096-ptr_max
PARAM_VALUE 2 pdev 0,4096-ptr_max
CAPPED_DATA 1 devid 1
DATA_SOURCE 0 iommu $0
DATA_SOURCE 1 devid $1
DATA_SOURCE 2 pdev $4
DATA_SOURCE 3 max_irqs $5
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &domain->root->mutex

drivers/iommu/amd/iommu.c irq_remapping_alloc() -> alloc_irq_table()

Type Parameter Key Value
PARAM_VALUE 0 iommu 4096-ptr_max
PARAM_VALUE 0 iommu->pci_seg 4096-ptr_max
PARAM_VALUE 2 pdev 0
CAPPED_DATA 1 devid 1
DATA_SOURCE 0 iommu r __rlookup_amd_iommu
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &domain->root->mutex