env/v/vm.c

77 freelist_t user_mapping[MAX_TEST_PAGES];
78 freelist_t freelist_nodes[MAX_TEST_PAGES];
96   assert(addr >= PGSIZE && addr < MAX_TEST_PAGES * PGSIZE);
125   assert(addr >= PGSIZE && addr < MAX_TEST_PAGES * PGSIZE);
168     for (long i = 1; i < MAX_TEST_PAGES; i++)
199     uintptr_t paddr = DRAM_BASE + ((random % (2 * (MAX_TEST_PAGES + 1) * PGSIZE)) & -4);
218 #if (MAX_TEST_PAGES > PTES_PER_PT) || (DRAM_BASE % MEGAPAGE_SIZE) != 0
258   random = 1 + (random % MAX_TEST_PAGES);
260   freelist_tail = pa2kva(&freelist_nodes[MAX_TEST_PAGES-1]);
261   for (long i = 0; i < MAX_TEST_PAGES; i++)
263     freelist_nodes[i].addr = DRAM_BASE + (MAX_TEST_PAGES + random)*PGSIZE;
267   freelist_nodes[MAX_TEST_PAGES-1].next = 0;