projects / pintos-anon / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 3f3135e) | 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)
commit4075c522c9f652400eda11b2b3263f465584579a
treefd14493cc28eb016b20af0f413645dd6ec8fff5ctree | snapshot
parent3f3135e756103a273fd9d1c6cc317e39848da023commit | 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