Symbol: board_startup
sys/arch/arm/arm/arm32_machdep.c
239
board_startup();
sys/arch/arm/include/cpu.h
313
void board_startup(void);