From: Chen Jiqian <jiqian.c...@amd.com>
Use new xc_physdev_gsi_from_irq to get the GSI number
Signed-off-by: Chen Jiqian <jiqian.c...@amd.com>
Signed-off-by: Huang Rui <ray.hu...@amd.com>
---
tools/libs/light/libxl_pci.c | 1 +
1 file changed, 1 insertion(+)
diff --git a/tools/libs/light/libxl_pci.c b/tools/libs/light/libxl_pci.c
index f4c4f17545..47cf2799bf 100644
--- a/tools/libs/light/libxl_pci.c
+++ b/tools/libs/light/libxl_pci.c
@@ -1486,6 +1486,7 @@ static void pci_add_dm_done(libxl__egc *egc,
goto out_no_irq;
}
if ((fscanf(f, "%u", &irq) == 1) && irq) {
+ irq = xc_physdev_gsi_from_irq(ctx->xch, irq);
r = xc_physdev_map_pirq(ctx->xch, domid, irq, &irq);
if (r < 0) {
LOGED(ERROR, domainid, "xc_physdev_map_pirq irq=%d (error=%d)",
--
2.25.1
