Add some more correctness assertions to free().

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

diff --git a/src/threads/intr-stubs.pl b/src/threads/intr-stubs.pl
index 6ac5a8df527c2a4f7951774d1af7dfedfbbae439..c333260eef7a812e4262e783e968fa0a342fe99c 100755 (executable)
--- a/src/threads/intr-stubs.pl
+++ b/src/threads/intr-stubs.pl
@@ -1,7 +1,7 @@
 #! /usr/bin/perl
 
 print <<'EOF';
-#include "mmu.h"
+#include "threads/loader.h"
 
        .data
 .globl intr_stubs
@@ -31,7 +31,6 @@ for $i (0...255) {
 
 print <<'EOF';
 intr_entry:
-       # FIXME: build a fake stack frame to improve backtraces.
        # Save caller's registers.
        pushl %ds
        pushl %es
@@ -43,7 +42,7 @@ intr_entry:
        movl %eax, %ds
        movl %eax, %es
 
-       # Call handler.
+       # Call interrupt handler.
        pushl %esp
 .globl intr_handler
        call intr_handler
@@ -56,5 +55,7 @@ intr_exit:
        popl %es
        popl %ds
        addl $8, %esp
+
+        # Return to caller.
        iret
 EOF