env/v/vm.c

73 pte_t pt[NPT][PTES_PER_PT] __attribute__((aligned(PGSIZE)));
96   assert(addr >= PGSIZE && addr < MAX_TEST_PAGES * PGSIZE);
97   addr = addr/PGSIZE*PGSIZE;
99   freelist_t* node = &user_mapping[addr/PGSIZE];
103     assert(user_l3pt[addr/PGSIZE] & PTE_A);
105     if (memcmp((void*)addr, uva2kva(addr), PGSIZE)) {
106       assert(user_l3pt[addr/PGSIZE] & PTE_D);
107       memcpy((void*)addr, uva2kva(addr), PGSIZE);
111     user_mapping[addr/PGSIZE].addr = 0;
125   assert(addr >= PGSIZE && addr < MAX_TEST_PAGES * PGSIZE);
126   addr = addr/PGSIZE*PGSIZE;
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;
149   assert(user_mapping[addr/PGSIZE].addr == 0);
150   user_mapping[addr/PGSIZE] = *node;
153   memcpy((void*)addr, uva2kva(addr), PGSIZE);
156   user_l3pt[addr/PGSIZE] = new_pte;
169       evict(i*PGSIZE);
199     uintptr_t paddr = DRAM_BASE + ((random % (2 * (MAX_TEST_PAGES + 1) * PGSIZE)) & -4);
263     freelist_nodes[i].addr = DRAM_BASE + (MAX_TEST_PAGES + random)*PGSIZE;