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);