Symbol: IPI_SETPERF
sys/arch/powerpc64/powerpc64/cpu.c
410
if (pending & IPI_SETPERF)
sys/arch/powerpc64/powerpc64/cpu.c
442
intr_send_ipi(&cpu_info[i], IPI_SETPERF);