Rename base_page_dir to init_page_dir.
authorBen Pfaff <blp@cs.stanford.edu>
Fri, 7 Nov 2008 05:19:34 +0000 (21:19 -0800)
committerBen Pfaff <blp@cs.stanford.edu>
Fri, 7 Nov 2008 05:55:39 +0000 (21:55 -0800)
commitfb0dce4c37c08ec17bbc648e8d11afb8a63d24f5
tree4c676c225f601c24ca8a87be3368f534a835cd0a
parenta3554cdb2c4b28bca448ca2e819bb272cbfcd6fa
Rename base_page_dir to init_page_dir.

This makes its name fit the convention that the file name is used as
a prefix for global symbol names.

Found by Godmar with his process-linker-map.pl script.
solutions/p3.patch
solutions/p4.patch
src/threads/init.c
src/threads/init.h
src/userprog/pagedir.c