From: Ben Pfaff 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?a=commitdiff_plain;h=c0737d371d7d59921fda38bd926d87a2125f39e3;p=pintos-anon 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";