Symbol: xen_intr
sys/dev/pci/xspd.c
118
xen_intr();
sys/dev/pv/xenvar.h
147
void xen_intr(void);