CKSEG0_BASE
if (va >= (vaddr_t)CKSEG0_BASE && va < (vaddr_t)CKSSEG_BASE) {
CKSEG0_BASE : CKSEG1_BASE;
env->efi.bios.vga_bios >= CKSEG0_BASE &&
env->efi.bios.vga_bios < CKSEG0_BASE + CKSEG_SIZE) {
pmon_envbase = CKSEG0_BASE;
#define PHYS_TO_CKSEG0(x) ((u_long)(x) | CKSEG0_BASE)
else if (v >= CKSEG0_BASE &&
v < CKSEG0_BASE + CKSEG_SIZE)
else if (va >= (vaddr_t)CKSEG0_BASE &&
va < (vaddr_t)CKSEG0_BASE + CKSEG_SIZE)
IS_XKPHYS(va) || ((va) >= CKSEG0_BASE && (va) < CKSEG1_BASE))
if (ph[i].p_paddr < CKSEG0_BASE ||
ph[i].p_paddr + ph[i].p_memsz >= CKSEG0_BASE + CKSEG_SIZE) {