Clean up interrupt handling.

[pintos-anon] / src / threads / intr-stubs.pl

diff --git a/src/threads/intr-stubs.pl b/src/threads/intr-stubs.pl
index 8987c43d9ca8396c44c64d24c68ac31e5bd8606c..ea20e9668ede5de1669138957c5e205079c6e3f4 100755 (executable)
--- 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.