Symbol: bios_board_init
sys/arch/evbppc/include/century_bios.h
43
void bios_board_init(void *info_block, u_int startkernel);
sys/arch/evbppc/obs405/obs200_machdep.c
134
bios_board_init(info_block, startkernel);