xen_destroy_irq   396 arch/x86/pci/xen.c 	xen_destroy_irq(irq);
xen_destroy_irq   117 include/xen/events.h int xen_destroy_irq(int irq);