acpi: pci: support acpi-index for non-hotpluggable devices
commit7fb1d7388b10f5d0738aee94110344ce4132fafe
authorIgor Mammedov <imammedo@redhat.com>
Thu, 2 Mar 2023 16:15:30 +0000 (2 17:15 +0100)
committerMichael S. Tsirkin <mst@redhat.com>
Tue, 7 Mar 2023 17:39:00 +0000 (7 12:39 -0500)
treeadd8913d71a424cce88ef845ba4ef557da32321a
parent22c8dd000fe4e7ce74531c22a427af58c4042d9a
acpi: pci: support acpi-index for non-hotpluggable devices

Inject static _DSM (EDSM) if non-hotpluggable device has
acpi-index configured on it.
It lets use acpi-index non-hotpluggable devices / devices
attached to non-hotpluggable bus.

Signed-off-by: Igor Mammedov <imammedo@redhat.com>
Message-Id: <20230302161543.286002-22-imammedo@redhat.com>
Reviewed-by: Michael S. Tsirkin <mst@redhat.com>
Signed-off-by: Michael S. Tsirkin <mst@redhat.com>
hw/i386/acpi-build.c