X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=src%2Fuserprog%2Fpagedir.c;fp=src%2Fuserprog%2Fpagedir.c;h=68c0d196d921bd52a6bfea0d5397169f834e6044;hb=8fc9be2744dbe24bf5676a0502b36d5afe3b9ebb;hp=30bdfe263b67f58ee9787b413036de6984c7628b;hpb=4ae5b30e5eb0be98521235060001c2d6d9828345;p=pintos-anon

diff --git a/src/userprog/pagedir.c b/src/userprog/pagedir.c
index 30bdfe2..68c0d19 100644
--- a/src/userprog/pagedir.c
+++ b/src/userprog/pagedir.c
@@ -74,7 +74,7 @@ lookup_page (uint32_t *pd, const void *vaddr, bool create)
           if (pt == NULL) 
             return NULL; 
       
-          *pde = pde_create (pt);
+          *pde = pde_create_user (pt);
         }
       else
         return NULL;