KERNBASE          110 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           13 memlayout.h    static inline uint v2p(void *a) { return ((uint) (a))  - KERNBASE; }
KERNBASE           14 memlayout.h    static inline void *p2v(uint a) { return (void *) ((a) + KERNBASE); }
KERNBASE           18 memlayout.h    #define V2P(a) (((uint) (a)) - KERNBASE)
KERNBASE           19 memlayout.h    #define P2V(a) (((void *) (a)) + KERNBASE)
KERNBASE           21 memlayout.h    #define V2P_WO(x) ((x) - KERNBASE)    // same as V2P, but without casts
KERNBASE           22 memlayout.h    #define P2V_WO(x) ((x) + KERNBASE)    // same as V2P, but without casts
KERNBASE           75 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          121 vm.c            { (void*)KERNBASE, 0,             EXTMEM,    PTE_W}, // I/O space
KERNBASE          226 vm.c             if(newsz >= KERNBASE)
KERNBASE          284 vm.c             deallocuvm(pgdir, KERNBASE, 0);