KERNBASE          107 main.c           [KERNBASE>>PDXSHIFT] = (0) | PTE_P | PTE_W | PTE_PS,
KERNBASE            9 memlayout.h    #define KERNLINK (KERNBASE+EXTMEM)  // Address where kernel is linked
KERNBASE           11 memlayout.h    #define V2P(a) (((uint) (a)) - KERNBASE)
KERNBASE           12 memlayout.h    #define P2V(a) ((void *)(((char *) (a)) + KERNBASE))
KERNBASE           14 memlayout.h    #define V2P_WO(x) ((x) - KERNBASE)    // same as V2P, but without casts
KERNBASE           15 memlayout.h    #define P2V_WO(x) ((x) + KERNBASE)    // same as P2V, but without casts
KERNBASE           79 spinlock.c         if(ebp == 0 || ebp < (uint*)KERNBASE || ebp == (uint*)0xffffffff)
KERNBASE         1497 usertests.c      for(a = (char*)(KERNBASE); a < (char*) (KERNBASE+2000000); a += 50000){
KERNBASE          111 vm.c            { (void*)KERNBASE, 0,             EXTMEM,    PTE_W}, // I/O space
KERNBASE          227 vm.c             if(newsz >= KERNBASE)
KERNBASE          290 vm.c             deallocuvm(pgdir, KERNBASE, 0);