#endif
#ifdef CONFIG_XEN_DOM0
+#ifdef CONFIG_ACPI
static int xen_register_pirq(u32 gsi, int gsi_override, int triggering)
{
int rc, pirq, irq = -1;
return xen_register_gsi(gsi, -1 /* no GSI override */, trigger, polarity);
}
#endif
+#endif
#if defined(CONFIG_PCI_MSI)
#include <linux/msi.h>
}
#ifdef CONFIG_XEN_DOM0
+#ifdef CONFIG_ACPI
static __init void xen_setup_acpi_sci(void)
{
int rc;
return;
}
-
+#endif
static int __init pci_xen_initial_domain(void)
{
#ifdef CONFIG_PCI_MSI
x86_msi.setup_msi_irqs = xen_initdom_setup_msi_irqs;
x86_msi.teardown_msi_irq = xen_teardown_msi_irq;
#endif
+#ifdef CONFIG_ACPI
xen_setup_acpi_sci();
__acpi_register_gsi = acpi_register_gsi_xen;
-
+#endif
return 0;
}
}
return;
}
-
+#ifdef CONFIG_ACPI
/* Pre-allocate legacy irqs */
for (irq = 0; irq < NR_IRQS_LEGACY; irq++) {
int trigger, polarity;
xen_register_pirq(irq, -1 /* no GSI override */,
trigger ? ACPI_LEVEL_SENSITIVE : ACPI_EDGE_SENSITIVE);
}
+#endif
}
struct xen_device_domain_owner {