Symbol: ipi_send_cpu
sys/x86/x86/mp_x86.c
1405
ipi_send_cpu(cpu, ipi);
sys/x86/x86/mp_x86.c
1425
ipi_send_cpu(cpu, ipi);