Symbol: cpu_copy_trampoline
sys/arch/x86/x86/cpu.c
214
static void cpu_copy_trampoline(paddr_t);
sys/arch/x86/x86/cpu.c
829
cpu_copy_trampoline(mp_pdirpa);