Symbol: bios_board_print
sys/arch/evbppc/include/century_bios.h
46
void bios_board_print(void);
sys/arch/evbppc/obs405/obs200_machdep.c
150
bios_board_print();