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)
commita3554cdb2c4b28bca448ca2e819bb272cbfcd6fa
tree50416da41b789279472921c494c5611e44ba47f4
parent4075c522c9f652400eda11b2b3263f465584579a
Rename schedule_tail() to thread_schedule_tail().

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.
doc/reference.texi
solutions/p2.patch
src/lib/kernel/console.c
src/threads/switch.S
src/threads/thread.c
src/userprog/tss.c