Symbol: start_CPU1
sys/arch/bebox/stand/boot/boot.c
118
runCPU1((void *)start_CPU1);
sys/arch/bebox/stand/boot/boot.h
38
void start_CPU1(void);