xen_free_irq      632 drivers/xen/events/events_base.c 	xen_free_irq(irq);
xen_free_irq      673 drivers/xen/events/events_base.c 		xen_free_irq(irq);
xen_free_irq      794 drivers/xen/events/events_base.c 	xen_free_irq(irq);
xen_free_irq     1440 drivers/xen/events/events_base.c 			xen_free_irq(irq);