X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=src%2Fthreads%2Fswitch.S;h=374da9e4a11cfd64a79816c3d358a177b224ff09;hb=ad3d6b23597a3ab6707e89355122a04499289965;hp=ba699988de02005bbe8aef62d6e40b723f4c7956;hpb=08d4e82cb3ef48071c8130af662b649711092381;p=pintos-anon

diff --git a/src/threads/switch.S b/src/threads/switch.S
index ba69998..374da9e 100644
--- a/src/threads/switch.S
+++ b/src/threads/switch.S
@@ -1,9 +1,9 @@
-#include "switch.h"
+#include "threads/switch.h"
 
 #### struct thread *switch_threads (struct thread *cur, struct thread *next);
 ####
 #### Switches from CUR, which must be the running thread, to NEXT,
-#### which must also be running thread_switch(), returning CUR in
+#### which must also be running switch_threads(), returning CUR in
 #### NEXT's context.
 ####
 #### This function works by assuming that the thread we're switching
@@ -18,7 +18,7 @@ switch_threads:
 	#
 	# Note that the SVR4 ABI allows us to destroy %eax, %ecx, %edx,
 	# but requires us to preserve %ebx, %ebp, %esi, %edi.  See
-	# [SV-ABI-386] pages 3-11 and 3-12 for details.
+	# [SysV-ABI-386] pages 3-11 and 3-12 for details.
 	#
 	# This stack frame must match the one set up by thread_create().
 	pushl %ebx