From: Ben Pfaff <blp@cs.stanford.edu>
Date: Fri, 7 Nov 2008 05:12:12 +0000 (-0800)
Subject: Make kernel_pool, user_pool static, since they are used only in palloc.c
X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?p=pintos-anon;a=commitdiff_plain;h=4391570c999cec9592799ada19df5f91683da58a

Make kernel_pool, user_pool static, since they are used only in palloc.c

Found by Godmar with his process-linker-map.pl.
---

diff --git a/src/threads/palloc.c b/src/threads/palloc.c
index eab41e4..d5d513f 100644
--- a/src/threads/palloc.c
+++ b/src/threads/palloc.c
@@ -35,7 +35,7 @@ struct pool
   };
 
 /* Two pools: one for kernel data, one for user pages. */
-struct pool kernel_pool, user_pool;
+static struct pool kernel_pool, user_pool;
 
 /* Maximum number of pages to put in user pool. */
 size_t user_page_limit = SIZE_MAX;