Documented in 1 files:
Defined in 1 files as a function:
Referenced in 17 files:
- drivers/bus/fsl-mc/fsl-mc-allocator.c, line 396
- drivers/dma/mv_xor_v2.c, line 755
- drivers/dma/qcom/hidma.c
- drivers/dma/ti/k3-udma-private.c
- drivers/dma/ti/k3-udma.c
- drivers/iommu/arm/arm-smmu-v3/arm-smmu-v3.c
- drivers/iommu/riscv/iommu-pci.c, line 86
- drivers/iommu/riscv/iommu-platform.c, line 98
- drivers/mailbox/bcm-flexrm-mailbox.c, line 1586
- drivers/mailbox/riscv-sbi-mpxy-mbox.c, line 961
- drivers/pci/endpoint/pci-ep-msi.c, line 193
- drivers/pci/msi/api.c, line 318
- drivers/pci/msi/msi.c, line 947
- drivers/perf/arm_smmuv3_pmu.c, line 758
- drivers/soc/ti/k3-ringacc.c, line 666
- drivers/ufs/host/ufs-qcom.c, line 2427
- drivers/vfio/cdx/intr.c, line 44
Smatch caller information:
drivers/bus/fsl-mc/fsl-mc-allocator.c fsl_mc_populate_irq_pool() -> msi_get_virq()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | dev->devres_head.prev | 4096-ptr_max |
| PARAM_VALUE | 1 | index | 0-255 |
| FUZZY_MAX | 1 | index | 255 |
| HARD_MAX | 1 | index | 255 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NO_OVERFLOW_SIMPLE | 1 | index | |
| UNITS | 1 | index | unit_array_size |
| HALF_LOCKED2 | &mc_bus->scan_mutex | ||
| HALF_LOCKED2 | &vdev->igate | ||
| HALF_LOCKED2 | &vdev->vdev.dev_set->lock |
drivers/dma/qcom/hidma.c hidma_free_msis() -> msi_get_virq()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | dev | 0,4096-ptr_max |
| PARAM_VALUE | 0 | dev->bus | 0,4096-ptr_max |
| PARAM_VALUE | 0 | dev->class | 0,4096-ptr_max |
| PARAM_VALUE | 0 | dev->power.request | 0-4 |
| PARAM_VALUE | 0 | dev->power.runtime_error | s32min-(-17),(-15)-(-14),(-12),(-10)-s32max |
| PARAM_VALUE | 0 | dev->power.wakeirq | 0,4096-ptr_max |
| PARAM_VALUE | 0 | dev->type | 0,4096-ptr_max |
| PARAM_VALUE | 1 | index | 0-10 |
| BUF_SIZE | 0 | dev | (-1)-0,1616 |
| BUF_SIZE | 0 | dev | (-1)-0,1616 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| UNITS | 0 | dev | unit_byte |
| HALF_LOCKED2 | &_dev->mutex |
drivers/dma/qcom/hidma.c hidma_request_msi() -> msi_get_virq()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | dev | 4096-ptr_max |
| PARAM_VALUE | 1 | index | 0-10 |
| RX_PATH | |||
| TASK_NOT_RUNNING |
drivers/dma/qcom/hidma.c hidma_request_msi() -> msi_get_virq()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | dev | 4096-ptr_max |
| PARAM_VALUE | 1 | index | 0-9 |
| RX_PATH | |||
| TASK_NOT_RUNNING |
drivers/iommu/riscv/iommu-pci.c riscv_iommu_pci_probe() -> msi_get_virq()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | dev | 4096-ptr_max |
| PARAM_VALUE | 0 | dev->devres_head.prev | 4096-ptr_max |
| PARAM_VALUE | 0 | dev->devres_head.prev->next | 4096-ptr_max |
| PARAM_VALUE | 0 | dev->devres_head.prev->next->next | 4096-ptr_max |
| PARAM_VALUE | 0 | dev->driver_data | 4096-ptr_max |
| PARAM_VALUE | 1 | index | 0-2147483646 |
| BUF_SIZE | 0 | dev | 1616 |
| CAPPED_DATA | 1 | index | 1 |
| RX_PATH | |||
| TASK_NOT_RUNNING |
drivers/pci/msi/api.c pci_irq_vector() -> msi_get_virq()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | dev | 4096-ptr_max |
| DATA_SOURCE | 1 | index | $1 |
drivers/perf/arm_smmuv3_pmu.c smmu_pmu_setup_msi() -> msi_get_virq()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | dev | 4096-ptr_max |
| PARAM_VALUE | 1 | index | 0 |
| BUF_SIZE | 0 | dev | 1616 |
| RX_PATH | |||
| TASK_NOT_RUNNING |
drivers/vfio/cdx/intr.c vfio_cdx_msi_enable() -> msi_get_virq()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 1 | index | 0-s32max |
| CAPPED_DATA | 1 | index | 1 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NO_OVERFLOW_SIMPLE | 1 | index | |
| UNITS | 1 | index | unit_array_size |
| LOCK2 | _T->lock | ||
| HALF_LOCKED2 | &device->dev_set->lock |
drivers/pci/endpoint/pci-ep-msi.c pci_epf_alloc_doorbell_msi() -> msi_get_virq()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | dev | 4096-ptr_max |
| PARAM_VALUE | 1 | index | 0-31 |
| CAPPED_DATA | 1 | index | 1 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NO_OVERFLOW_SIMPLE | 1 | index | |
| UNITS | 0 | dev | unit_byte |
| UNITS | 1 | index | unit_array_size |
| HALF_LOCKED2 | &dir->i_rwsem |
drivers/iommu/riscv/iommu-platform.c riscv_iommu_platform_probe() -> msi_get_virq()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | dev | 4096-ptr_max |
| PARAM_VALUE | 0 | dev->devres_head.prev->next | 4096-ptr_max |
| PARAM_VALUE | 0 | dev->devres_head.prev->next->next | 4096-ptr_max |
| PARAM_VALUE | 1 | index | 0-3 |
| BUF_SIZE | 0 | dev | 1616 |
| RX_PATH | |||
| TASK_NOT_RUNNING |
drivers/pci/msi/msi.c pci_msix_write_tph_tag() -> msi_get_virq()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | dev | 4096-ptr_max |
| DATA_SOURCE | 1 | index | $1 |
| HALF_LOCKED2 | &bp->dev->lock | ||
| HALF_LOCKED2 | &st->lock |