Symbol: openbios_board_print
sys/arch/evbppc/obs405/obs266_machdep.c
143
openbios_board_print();
sys/arch/evbppc/walnut/machdep.c
128
openbios_board_print();
sys/arch/powerpc/include/ibm4xx/openbios.h
41
extern void openbios_board_print(void);