Symbol: x86_setperf_ipi
sys/arch/amd64/amd64/ipifuncs.c
98
x86_setperf_ipi,
sys/arch/amd64/include/intr.h
222
void x86_setperf_ipi(struct cpu_info *);