X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=src%2Fuserprog%2Fexception.c;h=0d5461a31078a20145490c668ae5fd302f51569f;hb=f6580e9ad405b519dbe85027691bf3c66074b0a4;hp=24985514aa5882d832e1035afd1effa43b7b61cc;hpb=28cfcb0474595208626ae9984c9be99fd92f8159;p=pintos-anon

diff --git a/src/userprog/exception.c b/src/userprog/exception.c
index 2498551..0d5461a 100644
--- a/src/userprog/exception.c
+++ b/src/userprog/exception.c
@@ -1,9 +1,9 @@
 #include "exception.h"
 #include <inttypes.h>
-#include "lib.h"
 #include "gdt.h"
-#include "interrupt.h"
-#include "thread.h"
+#include "lib/lib.h"
+#include "threads/interrupt.h"
+#include "threads/thread.h"
 
 static void kill (struct intr_frame *);
 static void page_fault (struct intr_frame *);
@@ -12,9 +12,10 @@ static void page_fault (struct intr_frame *);
    programs.
 
    In a real Unix-like OS, most of these interrupts would be
-   passed along to the user process in the form of signals, but
-   we don't implement signals.  Instead, we'll make them simply
-   kill the user process.
+   passed along to the user process in the form of signals, as
+   described in [SV-386] 3-24 and 3-25, but we don't implement
+   signals.  Instead, we'll make them simply kill the user
+   process.
 
    Page faults are an exception.  Here they are treated the same
    way as other exceptions, but this will need to change to