Symbol: mp_cpu_start
sys/arch/x86/x86/cpu.c
1135
mp_cpu_start(struct cpu_info *ci, paddr_t target)
sys/arch/xen/x86/cpu.c
1006
mp_cpu_start(struct cpu_info *ci, vaddr_t target)