KERNBASE3
((vaddr_t)maxsym > (KERNBASE3 + OBMEM_BW50_ADDR - USPACE))) {
const vaddr_t kernbase = KERNBASE3;
chdr_p->kernbase = KERNBASE3;
vaddr = (char*)(paddr + KERNBASE3);
*vaddr = KERNBASE3 + paddr;
#define NUSEG (KERNBASE3 / NBSG)
nextpa = nextva - KERNBASE3;
for (va = 0; va < KERNBASE3; va += NBSG)
va = KERNBASE3;
va = KERNBASE3;
const vaddr_t kernbase = KERNBASE3;