X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=src%2Fthreads%2Fswitch.S;h=feca86cd16d02e3d6f31d1dde25cff379c0861a4;hb=19becec31c5704572a3575336c57364d72fd572b;hp=48fc588973bfe15c016dab042bc75f37c6baba62;hpb=424970679fb7dec648531888ae26919b784de1b6;p=pintos-anon

diff --git a/src/threads/switch.S b/src/threads/switch.S
index 48fc588..feca86c 100644
--- a/src/threads/switch.S
+++ b/src/threads/switch.S
@@ -21,7 +21,8 @@ switch_threads:
 	# but requires us to preserve %ebx, %ebp, %esi, %edi.  See
 	# [SysV-ABI-386] pages 3-11 and 3-12 for details.
 	#
-	# This stack frame must match the one set up by thread_create().
+	# This stack frame must match the one set up by thread_create()
+	# in size.
 	pushl %ebx
 	pushl %ebp
 	pushl %esi
@@ -53,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.