Symbol: cpu_ipi
sys/kern/subr_ipi.c
208
cpu_ipi(ci);
sys/sys/ipi.h
65
void cpu_ipi(struct cpu_info *);