From: Ben Pfaff 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?a=commitdiff_plain;h=4391570c999cec9592799ada19df5f91683da58a;p=pintos-anon 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;