Symbol: x86_ipi_init
sys/arch/x86/include/cpuvar.h
106
int x86_ipi_init(int);
sys/arch/x86/x86/cpu.c
1176
error = x86_ipi_init(ci->ci_cpuid);