Symbol: xen_irq_resume
drivers/xen/manage.c
83
xen_irq_resume();
include/xen/events.h
87
void xen_irq_resume(void);