From 4391570c999cec9592799ada19df5f91683da58a Mon Sep 17 00:00:00 2001
From: Ben Pfaff <blp@cs.stanford.edu>
Date: Thu, 6 Nov 2008 21:12:12 -0800
Subject: [PATCH] Make kernel_pool, user_pool static, since they are used only
 in palloc.c

Found by Godmar with his process-linker-map.pl.
---
 src/threads/palloc.c | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

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;
-- 
2.30.2