X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=src%2Fthreads%2Finit.c;h=1afa8653dc6c828f8ab79ad3c500ce69eaee5cc0;hb=cb23eeb534a85547c427b695b6838e5792e31ddb;hp=855afa0340fcb66788aa03a00cc70666b17bbbae;hpb=24445a35e861ddb50df05731ca4635fbd36e04a4;p=pintos-anon

diff --git a/src/threads/init.c b/src/threads/init.c
index 855afa0..1afa865 100644
--- a/src/threads/init.c
+++ b/src/threads/init.c
@@ -163,7 +163,7 @@ paging_init (void)
   uint32_t *pd, *pt;
   size_t page;
 
-  pd = base_page_dir = palloc_get (PAL_ASSERT | PAL_ZERO);
+  pd = base_page_dir = palloc_get_page (PAL_ASSERT | PAL_ZERO);
   pt = NULL;
   for (page = 0; page < ram_pages; page++) 
     {
@@ -174,7 +174,7 @@ paging_init (void)
 
       if (pd[pde_idx] == 0)
         {
-          pt = palloc_get (PAL_ASSERT | PAL_ZERO);
+          pt = palloc_get_page (PAL_ASSERT | PAL_ZERO);
           pd[pde_idx] = pde_create (pt);
         }