X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?p=pintos-anon;a=blobdiff_plain;f=src%2Fuserprog%2Fpagedir.c;h=a6a87b827ba16a12157d94df6f2a7233b7c59e8e;hp=1442d4076067043f9ff35a516c999f2addff0cc3;hb=94d17ee9287aec1c4c9ee37ca02615e8293a5f3a;hpb=94618414d6e0e051cf95e900c63ed2835ed16a82

diff --git a/src/userprog/pagedir.c b/src/userprog/pagedir.c
index 1442d40..a6a87b8 100644
--- a/src/userprog/pagedir.c
+++ b/src/userprog/pagedir.c
@@ -103,7 +103,7 @@ pagedir_set_page (uint32_t *pd, void *upage, void *kpage, bool writable)
   ASSERT (pg_ofs (upage) == 0);
   ASSERT (pg_ofs (kpage) == 0);
   ASSERT (is_user_vaddr (upage));
-  ASSERT (vtop (kpage) >> PTSHIFT < ram_pages);
+  ASSERT (vtop (kpage) >> PTSHIFT < init_ram_pages);
   ASSERT (pd != init_page_dir);
 
   pte = lookup_page (pd, upage, true);