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);