Defined in 1 files as a prototype:
Defined in 1 files as a function:
Referenced in 3 files:
Smatch caller information:
arch/x86/pci/xen.c xen_hvm_setup_msi_irqs() -> __pci_write_msi_msg()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | entry | 1-1025,1027-1029,1031-u64max |
| PARAM_VALUE | 1 | msg | 585429636845199360 |
| PARAM_VALUE | 1 | msg->address_hi | 0 |
| PARAM_VALUE | 1 | msg->address_lo | 0 |
| PARAM_VALUE | 1 | msg->arch_addr_hi.destid_8_31 | 0-8388607 |
| PARAM_VALUE | 1 | msg->arch_addr_lo.base_address | 4078 |
| PARAM_VALUE | 1 | msg->arch_data.delivery_mode | 7 |
| PARAM_VALUE | 1 | msg->data | 0 |
| MEM_ZERO | 1 | msg | |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| LOCK2 | &_T->lock->msi.data->mutex |
drivers/pci/msi/irqdomain.c pci_msi_domain_write_msg() -> __pci_write_msi_msg()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | entry | 4096-ptr_max |
| PARAM_VALUE | 1 | msg | 4096-ptr_max |
| BUF_SIZE | 1 | msg | 24 |
| BUF_SIZE | 1 | msg | 24 |
| CAPPED_DATA | 0 | entry->irq | 1 |
| DATA_SOURCE | 1 | msg | $1 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| HOST_DATA | 1 | msg->address_hi | 0-u32max |
| HOST_DATA | 1 | msg->address_lo | 0,2-4294967294 |
drivers/pci/msi/msi.c __pci_restore_msi_state() -> __pci_write_msi_msg()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 1 | msg | 4096-ptr_max |
| DATA_SOURCE | 0 | entry | r irq_get_msi_desc |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| HALF_LOCKED2 | &adev->pm.mutex | ||
| HALF_LOCKED2 | &ctl->lock | ||
| HALF_LOCKED2 | &dev->dev.mutex |
drivers/pci/msi/msi.c __pci_restore_msix_state() -> __pci_write_msi_msg()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | entry | 1-1025,1027-1029,1031-u64max |
| PARAM_VALUE | 1 | msg | 4096-ptr_max |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| LOCK2 | &_T->lock->msi.data->mutex | ||
| HALF_LOCKED2 | &adev->pm.mutex | ||
| HALF_LOCKED2 | &ctl->lock | ||
| HALF_LOCKED2 | &dev->dev.mutex |
drivers/pci/msi/msi.c pci_write_msi_msg() -> __pci_write_msi_msg()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 1 | msg | 2800571224355926016 |
| DATA_SOURCE | 0 | entry | r irq_get_msi_desc |
| DATA_SOURCE | 1 | msg | $1 |
| 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 |