Symbol: rump_xc_highpri
sys/kern/subr_xcall.c
570
rump_xc_highpri(ci);
sys/rump/include/rump-sys/kern.h
197
void rump_xc_highpri(struct cpu_info *);