Symbol: i386_ipi_init
sys/arch/i386/i386/cpu.c
792
i386_ipi_init(ci->ci_apicid);
sys/arch/i386/include/cpuvar.h
92
void i386_ipi_init(int);