From: Ben Pfaff <blp@cs.stanford.edu>
Date: Thu, 14 Oct 2004 04:22:51 +0000 (+0000)
Subject: Add 14 (page fault) to named exceptions.
X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?p=pintos-anon;a=commitdiff_plain;h=24af9f543b0056d3d223d120b05d019477b7bd2e

Add 14 (page fault) to named exceptions.
(Why wasn't this here before?)
---

diff --git a/src/threads/interrupt.c b/src/threads/interrupt.c
index 3637b00..c886cc9 100644
--- a/src/threads/interrupt.c
+++ b/src/threads/interrupt.c
@@ -118,6 +118,7 @@ intr_init (void)
   intr_names[11] = "#NP Segment Not Present";
   intr_names[12] = "#SS Stack Fault Exception";
   intr_names[13] = "#GP General Protection Exception";
+  intr_names[14] = "#PF Page-Fault Exception";
   intr_names[16] = "#MF x87 FPU Floating-Point Error";
   intr_names[17] = "#AC Alignment Check Exception";
   intr_names[18] = "#MC Machine-Check Exception";