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