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

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);
     }
 }