Lines Matching defs:user_l3pt
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;