Rename base_page_dir to init_page_dir.

[pintos-anon] / solutions / p3.patch

diff --git a/solutions/p3.patch b/solutions/p3.patch
index 556be830ca39cc500cd027a2cb462a28b060a1a6..a7dafb2adf3d8fd0148148ce16bf776399f179ea 100644 (file)
--- a/solutions/p3.patch
+++ b/solutions/p3.patch
@@ -318,7 +318,7 @@ diff -u src/userprog/pagedir.c~ src/userprog/pagedir.c
 --- src/userprog/pagedir.c~
 +++ src/userprog/pagedir.c
 @@ -35,15 +35,7 @@ pagedir_destroy (uint32_t *pd) 
-   ASSERT (pd != base_page_dir);
+   ASSERT (pd != init_page_dir);
    for (pde = pd; pde < pd + pd_no (PHYS_BASE); pde++)
      if (*pde & PTE_P) 
 -      {