X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=src%2Fthreads%2Fswitch.S;h=6cb70aa86e38b8ad85c930376e260ce7ef43cf1d;hb=24116bb51c88e33ca0274bdd01abb7f03ec90fb7;hp=374da9e4a11cfd64a79816c3d358a177b224ff09;hpb=9bde883ca964bb44482dab245fe34ba72497a6c5;p=pintos-anon

diff --git a/src/threads/switch.S b/src/threads/switch.S
index 374da9e..6cb70aa 100644
--- a/src/threads/switch.S
+++ b/src/threads/switch.S
@@ -12,7 +12,8 @@
 #### restore the registers.  As part of switching stacks we record the
 #### current stack pointer in CUR's thread structure.
 
-.globl switch_threads 
+.globl switch_threads
+.func switch_threads
 switch_threads:
 	# Save caller's register state.
 	#
@@ -47,8 +48,10 @@ switch_threads:
 	popl %ebp
 	popl %ebx
         ret
+.endfunc
 
 .globl switch_entry
+.func switch_entry
 switch_entry:
 	# Discard switch_threads() arguments.
 	addl $8, %esp
@@ -61,3 +64,4 @@ switch_entry:
 
 	# Start thread proper.
 	ret
+.endfunc