Symbol: xc_send_ipi
sys/kern/subr_xcall.c
579
xc_send_ipi(ci);
sys/kern/subr_xcall.c
582
xc_send_ipi(NULL);
sys/sys/xcall.h
47
void xc_send_ipi(struct cpu_info *);