Symbol: x86_ipi_init
sys/arch/amd64/amd64/cpu.c
1193
x86_ipi_init(ci->ci_apicid);
sys/arch/amd64/include/cpuvar.h
91
void x86_ipi_init(int);