xen_irq_info_cleanup  573 drivers/xen/events/events_base.c 	xen_irq_info_cleanup(info);
xen_irq_info_cleanup  629 drivers/xen/events/events_base.c 		xen_irq_info_cleanup(info);