Symbol: i386_setperf_ipi
sys/arch/i386/i386/ipifuncs.c
82
i386_setperf_ipi,
sys/arch/i386/include/intr.h
142
void i386_setperf_ipi(struct cpu_info *);