Symbol: x86_ipi_startup
sys/arch/x86/include/cpuvar.h
107
int x86_ipi_startup(int, int);
sys/arch/x86/x86/cpu.c
1184
error = x86_ipi_startup(ci->ci_cpuid, target / PAGE_SIZE);
sys/arch/x86/x86/cpu.c
1192
error = x86_ipi_startup(ci->ci_cpuid, target / PAGE_SIZE);