MIPS_MAX_MEM_ADDR
physmem_boardmax = MIPS_MAX_MEM_ADDR;
CTASSERT(MIPS_MAX_MEM_ADDR < 0);
CTASSERT((uint32_t)MIPS_MAX_MEM_ADDR == 0xbe000000);
while (vp < (int *)MIPS_MAX_MEM_ADDR) {
physmem_boardmax = MIPS_MAX_MEM_ADDR;