x86/xen: Override ACPI IRQ management callback __acpi_unregister_gsi
[cascardo/linux.git] / arch / x86 / include / asm / acpi.h
index 0ab4f9f..3a45668 100644 (file)
@@ -50,6 +50,7 @@ void acpi_pic_sci_set_trigger(unsigned int, u16);
 
 extern int (*__acpi_register_gsi)(struct device *dev, u32 gsi,
                                  int trigger, int polarity);
+extern void (*__acpi_unregister_gsi)(u32 gsi);
 
 static inline void disable_acpi(void)
 {