xen/x86/PCI: Add support for the Xen PCI subsystem
[linux-2.6.git] / include / xen / events.h
index d7a4ca7..c1717ca 100644 (file)
@@ -72,6 +72,9 @@ void xen_hvm_evtchn_do_upcall(void);
  * usual. */
 int xen_allocate_pirq(unsigned gsi, int shareable, char *name);
 
+/* De-allocates the above mentioned physical interrupt. */
+int xen_destroy_irq(int irq);
+
 /* Return vector allocated to pirq */
 int xen_vector_from_irq(unsigned pirq);