CKSEG1_BASE
pmon_envbase = (uint64_t)*pmon_envp < CKSEG1_BASE ?
CKSEG0_BASE : CKSEG1_BASE;
pmon_envbase = CKSEG1_BASE;
#define PTR_TO_CKSEG1(ptr) (int32_t)(CKSEG1_BASE | (uint64_t)(ptr))
#define PHYS_TO_CKSEG1(x) ((u_long)(x) | CKSEG1_BASE)
#define RESET_EXC_VEC (CKSEG1_BASE + 0x1fc00000)
#define TLB_MISS_EXC_VEC (CKSEG1_BASE + 0x00000000)
#define XTLB_MISS_EXC_VEC (CKSEG1_BASE + 0x00000080)
#define CACHE_ERR_EXC_VEC (CKSEG1_BASE + 0x00000100)
#define GEN_EXC_VEC (CKSEG1_BASE + 0x00000180)
else if (v >= CKSEG1_BASE &&
v < CKSEG1_BASE + CKSEG_SIZE)
else if (va >= (vaddr_t)CKSEG1_BASE &&
va < (vaddr_t)CKSEG1_BASE + CKSEG_SIZE)
IS_XKPHYS(va) || ((va) >= CKSEG0_BASE && (va) < CKSEG1_BASE))