X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=src%2Fuserprog%2Fpagedir.c;h=83af90d67fffcb2994d1e6fa67ee16de1da998ca;hb=b4e9c266d656c6b595cc57920a34937776acc300;hp=a6a87b827ba16a12157d94df6f2a7233b7c59e8e;hpb=6ffbc2b68c34c2d1e42d5f6bcd8f2b94b82d05d7;p=pintos-anon

diff --git a/src/userprog/pagedir.c b/src/userprog/pagedir.c
index a6a87b8..83af90d 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;