Documented in 1 files:
Defined in 1 files as a prototype:
Defined in 1 files as a function:
Referenced in 5 files:
- drivers/bus/fsl-mc/fsl-mc-msi.c, line 92
- drivers/cdx/cdx.c, line 314
- drivers/pci/msi/msi.c, line 112
- drivers/soc/ti/ti_sci_inta_msi.c, line 102
- kernel/irq/msi.c, line 1080
Smatch caller information:
drivers/bus/fsl-mc/fsl-mc-msi.c fsl_mc_msi_domain_alloc_irqs() -> msi_setup_device_data()
| Type | Parameter | Key | Value |
|---|---|---|---|
| DATA_SOURCE | 0 | dev | $0 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| HALF_LOCKED2 | &mc_bus->scan_mutex | ||
| HALF_LOCKED2 | &vdev->igate | ||
| HALF_LOCKED2 | &vdev->vdev.dev_set->lock |
kernel/irq/msi.c msi_create_device_irq_domain() -> msi_setup_device_data()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | dev | 4096-ptr_max |
| PARAM_VALUE | 0 | dev->msi.domain | 4096-ptr_max |
| PARAM_VALUE | 0 | dev->msi.domain->flags | 256-u32max |
| BUF_SIZE | 0 | dev | (-1),1616 |
| BUF_SIZE | 0 | dev | (-1),1616 |
| DATA_SOURCE | 0 | dev | $0 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| UNITS | 0 | dev | unit_byte |
drivers/cdx/cdx.c cdx_probe() -> msi_setup_device_data()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | dev | 4096-ptr_max |
| RX_PATH | |||
| TASK_NOT_RUNNING |
drivers/pci/msi/msi.c pci_setup_msi_context() -> msi_setup_device_data()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | dev | 4096-ptr_max |
| PARAM_VALUE | 0 | dev->msi.domain | 4096-ptr_max |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| HALF_LOCKED2 | &dev->dev.mutex |