Symbol: xen_intr_resume
sys/dev/xen/bus/intr-internal.h
65
extern void xen_intr_resume(void);
sys/x86/xen/xen_arch_intr.c
244
xen_intr_resume();