env/v/vm.c

68 # define user_l3pt pt[3]
71 # define user_l3pt user_l2pt
103     assert(user_l3pt[addr/PGSIZE] & PTE_A);
106       assert(user_l3pt[addr/PGSIZE] & PTE_D);
128   if (user_l3pt[addr/PGSIZE]) {
129     if (!(user_l3pt[addr/PGSIZE] & PTE_A)) {
130       user_l3pt[addr/PGSIZE] |= PTE_A;
132       assert(!(user_l3pt[addr/PGSIZE] & PTE_D) && cause == CAUSE_STORE_PAGE_FAULT);
133       user_l3pt[addr/PGSIZE] |= PTE_D;
146   user_l3pt[addr/PGSIZE] = new_pte | PTE_A | PTE_D;
156   user_l3pt[addr/PGSIZE] = new_pte;
227   user_l2pt[0] = ((pte_t)user_l3pt >> PGSHIFT << PTE_PPN_SHIFT) | PTE_V;