Symbol: resetCPU1
sys/arch/bebox/stand/boot/boot.c
81
resetCPU1();
sys/arch/bebox/stand/boot/boot.h
35
void resetCPU1(void);