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