X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=src%2Fthreads%2Fintr-stubs.pl;h=ea20e9668ede5de1669138957c5e205079c6e3f4;hb=1824e4d39b4f042474d29ac91ee59b326ab00da1;hp=8987c43d9ca8396c44c64d24c68ac31e5bd8606c;hpb=4122c693f95bf1acd0ed0037da694b8c498c9f7e;p=pintos-anon

diff --git a/src/threads/intr-stubs.pl b/src/threads/intr-stubs.pl
index 8987c43..ea20e96 100755
--- a/src/threads/intr-stubs.pl
+++ b/src/threads/intr-stubs.pl
@@ -17,7 +17,9 @@ for $i (0...255) {
     $x = sprintf ("%02x", $i);
     print "\t.globl intr${x}_stub\n";
     print "intr${x}_stub:\n";
-    print "\tpushl \$0\n" if $i != 8 && $i != 10 && $i != 11 && $i != 13 && $i != 14 && $i != 17;
+    print "\tpushl \$0\n"
+	if ($i != 8 && $i != 10 && $i != 11
+	    && $i != 13 && $i != 14 && $i != 17);
     print "\tpushl \$0x$x\n";
     print "\tjmp intr_entry\n";
 }
@@ -40,6 +42,9 @@ intr_entry:
 	pushl %esp
 	.globl intr_handler
 	call intr_handler
+
+	.globl intr_exit
+intr_exit:
 	addl $4, %esp
 
 	# Restore caller's registers.