projects / pintos-anon / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | patch | inline | side by side (from: 64e74e3)
Rename schedule_tail() to thread_schedule_tail().
authorBen Pfaff <blp@cs.stanford.edu>
Fri, 7 Nov 2008 05:55:33 +0000 (21:55 -0800)
committerBen Pfaff <blp@cs.stanford.edu>
Fri, 7 Nov 2008 05:55:33 +0000 (21:55 -0800)
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.


No differences found
Pintos public repository