From 4075c522c9f652400eda11b2b3263f465584579a Mon Sep 17 00:00:00 2001 From: Ben Pfaff 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