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)
commit64e74e3536b95c4d0a46aec56bc373ad0f6d470b
tree716f4a757b0116626147e2219a89ede5371185f5
parent4391570c999cec9592799ada19df5f91683da58a
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
src/lib/kernel/console.c
src/threads/switch.S
src/threads/thread.c
src/userprog/tss.c