xen_irq_resume     88 drivers/xen/manage.c 		xen_irq_resume();
xen_irq_resume     73 include/xen/events.h void xen_irq_resume(void);