X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=src%2Fthreads%2Fstart.S;fp=src%2Fthreads%2Fstart.S;h=5a495c4651fecd6bf3d920130123f47f55f6588e;hb=3836cfc77ccaace693f83be1ed5a290bce26e564;hp=df63f8595abec0bdfe08835706ce64f4ad695d5d;hpb=59dcfa0128761394803087761b5756927774b331;p=pintos-anon

diff --git a/src/threads/start.S b/src/threads/start.S
index df63f85..5a495c4 100644
--- a/src/threads/start.S
+++ b/src/threads/start.S
@@ -4,10 +4,13 @@
 #### so that this module appears at the very beginning of the kernel
 #### image, and then using that as the entry point.
 
-.globl start
 .section .start
-
+	
+.globl start
+.func start
+	# Call main.
 start:	call main
 
-	# If main returns, spin.
+	# main() should not return, but if it does, spin.
 1:	jmp 1b
+.endfunc