Symbol: MIPS_RESERVED_ADDR
sys/arch/mips/mips/pmap_machdep.c
149
CTASSERT(MIPS_RESERVED_ADDR < 0);
sys/arch/mips/mips/pmap_machdep.c
154
CTASSERT((uint32_t)MIPS_RESERVED_ADDR == 0xbfc80000);