xen_irq_init 390 drivers/xen/events/events_base.c xen_irq_init(irq + i); xen_irq_init 421 drivers/xen/events/events_base.c xen_irq_init(irq);