KERNBASE           44 kernel/memlayout.h #define PHYSTOP  (KERNBASE + 128 * 1024 * 1024)
KERNBASE           39 kernel/vm.c      kvmmap(kpgtbl, KERNBASE, KERNBASE, (uint64)etext - KERNBASE, PTE_R | PTE_X);
KERNBASE         2158 user/usertests.c   for (a = (char *)(KERNBASE); a < (char *)(KERNBASE + 2000000); a += 50000) {