xen: do not map the same GSI twice in PVHVM guests.
[profile/ivi/kernel-x86-ivi.git] / arch / x86 / pci / xen.c
index 7415aa9..56ab749 100644 (file)
@@ -64,6 +64,10 @@ static int xen_register_pirq(u32 gsi, int gsi_override, int triggering,
        int shareable = 0;
        char *name;
 
+       irq = xen_irq_from_gsi(gsi);
+       if (irq > 0)
+               return irq;
+
        if (set_pirq)
                pirq = gsi;