Changes in kernel/arch/ia32/src/interrupt.c [98000fb:4491338] in mainline

File:

• kernel/arch/ia32/src/interrupt.c (modified) (2 diffs)

kernel/arch/ia32/src/interrupt.c

@@ -98 +98 @@
 }
 
+static void de_fault(int n, istate_t *istate)
+{
+        fault_if_from_uspace(istate, "Divide error.");
+
+        decode_istate(istate);
+        panic("Divide error.");
+}
+
 /** General Protection Fault. */
 static void gp_fault(int n __attribute__((unused)), istate_t *istate)
@@ -215 +223 @@
         }
         
+        exc_register(0, "de_fault", (iroutine) de_fault);
         exc_register(7, "nm_fault", (iroutine) nm_fault);
         exc_register(12, "ss_fault", (iroutine) ss_fault);