Open Menu /

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

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

Type Parameter Key Value
PARAM_VALUE 0 iommu 4096-ptr_max
PARAM_VALUE 0 iommu->pci_seg 4096-ptr_max
PARAM_VALUE 4 pdev 4096-ptr_max
PARAM_VALUE 5 max_irqs 0-u32max
CAPPED_DATA 1 devid 1
DATA_SOURCE 0 iommu r __rlookup_amd_iommu
DATA_SOURCE 2 count $2
FUZZY_MAX 5 max_irqs 512
RX_PATH
TASK_NOT_RUNNING
NO_OVERFLOW_SIMPLE 2 count
HALF_LOCKED2 &domain->root->mutex

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

Type Parameter Key Value
PARAM_VALUE 0 iommu 4096-ptr_max
PARAM_VALUE 0 iommu->pci_seg 4096-ptr_max
PARAM_VALUE 2 count 0-1
PARAM_VALUE 3 align 0
PARAM_VALUE 4 pdev 0
PARAM_VALUE 5 max_irqs 0-u32max
CAPPED_DATA 1 devid 1
DATA_SOURCE 0 iommu r __rlookup_amd_iommu
DATA_SOURCE 2 count $2
FUZZY_MAX 5 max_irqs 512
RX_PATH
TASK_NOT_RUNNING
NO_OVERFLOW_SIMPLE 2 count
HALF_LOCKED2 &domain->root->mutex