X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=src%2Fthreads%2Fthread.c;h=e85bc164d172094839124f6e818f23c7946957e9;hb=209f0b74c71b4eb5fed33ff4fa1271d3bc35b127;hp=eb9646520de0e2b0b2af7c3254451ff5f86eefe1;hpb=c80e647ab8f44161cfe75f6e39bdaf8624c32dd3;p=pintos-anon

diff --git a/src/threads/thread.c b/src/threads/thread.c
index eb96465..e85bc16 100644
--- a/src/threads/thread.c
+++ b/src/threads/thread.c
@@ -112,7 +112,7 @@ thread_create (const char *name, int priority,
   ASSERT (function != NULL);
 
   /* Allocate thread. */
-  t = palloc_get (PAL_ZERO);
+  t = palloc_get_page (PAL_ZERO);
   if (t == NULL)
     return TID_ERROR;
 
@@ -370,7 +370,7 @@ schedule_tail (struct thread *prev)
     {
       ASSERT (prev != cur);
       if (prev != initial_thread)
-        palloc_free (prev);
+        palloc_free_page (prev);
     }
 }