Symbol: bios_board_memsize_get
sys/arch/evbppc/include/century_bios.h
44
unsigned int bios_board_memsize_get(void);
sys/arch/evbppc/obs405/obs200_machdep.c
135
memsize = bios_board_memsize_get();