Symbol: xc__highpri_intr
sys/kern/subr_xcall.c
161
xc__highpri_intr, NULL); \
sys/rump/librump/rumpkern/rump.c
750
xc__highpri_intr(NULL);
sys/sys/xcall.h
50
void xc__highpri_intr(void *);