projects / pintos-anon / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | patch | inline | side by side (from: 94d17ee)
Rename ram_pages to init_ram_pages.
authorBen Pfaff <blp@cs.stanford.edu>
Sun, 9 Nov 2008 23:56:05 +0000 (15:56 -0800)
committerBen Pfaff <blp@cs.stanford.edu>
Mon, 10 Nov 2008 00:20:37 +0000 (16:20 -0800)
This makes it conform to the Pintos convention that a global symbol name
begin with its module's name.


No differences found
Pintos public repository