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