X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?p=pintos-anon;a=blobdiff_plain;f=src%2Fthreads%2Fswitch.S;h=feca86cd16d02e3d6f31d1dde25cff379c0861a4;hp=244249e07c063594fc3f385937781d22b0bd2371;hb=64e74e3536b95c4d0a46aec56bc373ad0f6d470b;hpb=4391570c999cec9592799ada19df5f91683da58a

diff --git a/src/threads/switch.S b/src/threads/switch.S
index 244249e..feca86c 100644
--- a/src/threads/switch.S
+++ b/src/threads/switch.S
@@ -54,10 +54,10 @@ switch_entry:
 	# Discard switch_threads() arguments.
 	addl $8, %esp
 
-	# Call schedule_tail(prev).
+	# Call thread_schedule_tail(prev).
 	pushl %eax
-.globl schedule_tail
-	call schedule_tail
+.globl thread_schedule_tail
+	call thread_schedule_tail
 	addl $4, %esp
 
 	# Start thread proper.