env/v/vm.c

57 #define assert(x) do { \
96   assert(addr >= PGSIZE && addr < MAX_TEST_PAGES * PGSIZE);
103     assert(user_l3pt[addr/PGSIZE] & PTE_A);
106       assert(user_l3pt[addr/PGSIZE] & PTE_D);
125   assert(addr >= PGSIZE && addr < MAX_TEST_PAGES * PGSIZE);
132       assert(!(user_l3pt[addr/PGSIZE] & PTE_D) && cause == CAUSE_STORE_PAGE_FAULT);
140   assert(node);
149   assert(user_mapping[addr/PGSIZE].addr == 0);
175     assert(tf->epc % 4 == 0);
183       assert(!"illegal instruction");
189     assert(!"unexpected exception");