Symbol: board_fini
sys/arch/evbarm/stand/board/board.h
47
void board_fini(void);
sys/arch/evbarm/stand/gzboot/gzboot.c
152
board_fini();