cpu_switch 433 bsp/hal/arm/arch/locore.S ENTRY(cpu_switch) cpu_switch 386 bsp/hal/ppc/arch/locore.S ENTRY(cpu_switch) cpu_switch 335 bsp/hal/x86/arch/locore.S ENTRY(cpu_switch)