projects / pintos-anon / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 64e74e3) | patch
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)
commitfde3b8ee3eaf48b1a6bb14568aedc207e62accab
tree538e075cf52a71caff1aa115598e344316e25e75tree | snapshot
parent64e74e3536b95c4d0a46aec56bc373ad0f6d470bcommit | diff
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.
src/threads/init.c diff | blob | history
src/threads/init.h diff | blob | history
src/userprog/pagedir.c diff | blob | history
Pintos public repository