Symbol: bios_board_info_set
sys/arch/evbppc/include/century_bios.h
45
void bios_board_info_set(void);
sys/arch/evbppc/obs405/obs200_machdep.c
185
bios_board_info_set();