PTE_W             108 main.c           [0] = (0) | PTE_P | PTE_W | PTE_PS,
PTE_W             110 main.c           [KERNBASE>>PDXSHIFT] = (0) | PTE_P | PTE_W | PTE_PS,
PTE_W              62 vm.c               *pde = v2p(pgtab) | PTE_P | PTE_W | PTE_U;
PTE_W             121 vm.c            { (void*)KERNBASE, 0,             EXTMEM,    PTE_W}, // I/O space
PTE_W             123 vm.c            { (void*)data,     V2P(data),     PHYSTOP,   PTE_W}, // kern data+memory
PTE_W             124 vm.c            { (void*)DEVSPACE, DEVSPACE,      0,         PTE_W}, // more devices
PTE_W             190 vm.c             mappages(pgdir, 0, PGSIZE, v2p(mem), PTE_W|PTE_U);
PTE_W             240 vm.c               mappages(pgdir, (char*)a, PGSIZE, v2p(mem), PTE_W|PTE_U);