Defined in 1 files as a prototype:
Defined in 2 files as a function:
Referenced in 5 files:
- arch/powerpc/platforms/pseries/msi.c, line 543
- drivers/dma/dw-edma/dw-edma-core.c
- drivers/spi/spi-pci1xxxx.c, line 288
- drivers/vfio/pci/vfio_pci_intrs.c, line 506
- kernel/irq/msi.c, line 285
Smatch caller information:
drivers/vfio/pci/vfio_pci_intrs.c vfio_msi_set_vector_signal() -> get_cached_msi_msg()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | irq | 0-4294967273,4294967275-u32max |
| PARAM_VALUE | 1 | msg | 2800571224355926016 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| LOCK2 | &vdev->memory_lock | ||
| HALF_LOCKED2 | &device->dev_set->lock | ||
| HALF_LOCKED2 | &vdev->igate | ||
| TYPE_LOCK | (struct vfio_pci_core_device)->memory_lock |
drivers/dma/dw-edma/dw-edma-core.c dw_edma_irq_request() -> get_cached_msi_msg()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | irq | 0 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL |
drivers/dma/dw-edma/dw-edma-core.c dw_edma_irq_request() -> get_cached_msi_msg()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | irq | 0 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL |
drivers/spi/spi-pci1xxxx.c pci1xxxx_spi_dma_config() -> get_cached_msi_msg()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 1 | msg | 7619193433686827008 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| HALF_LOCKED2 | &pool->lock |