projects / pintos-anon / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 8772085) | patch
Make kernel_pool, user_pool static, since they are used only in palloc.c
authorBen Pfaff <blp@cs.stanford.edu>
Fri, 7 Nov 2008 05:12:12 +0000 (21:12 -0800)
committerBen Pfaff <blp@cs.stanford.edu>
Fri, 7 Nov 2008 05:12:12 +0000 (21:12 -0800)
commit4391570c999cec9592799ada19df5f91683da58a
tree6c73b289d279ba168ff5f230107c28f6d66361f6tree | snapshot
parent877208550085617dd296fd66df541b46aa0e91a8commit | diff
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 diff | blob | history
Pintos public repository