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?a=commitdiff_plain;h=4391570c999cec9592799ada19df5f91683da58a;hp=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.
---