Changes in kernel/arch/ia32/src/interrupt.c [4491338:98000fb] 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)
@@ -223 +215 @@
         }
         
-        exc_register(0, "de_fault", (iroutine) de_fault);
         exc_register(7, "nm_fault", (iroutine) nm_fault);
         exc_register(12, "ss_fault", (iroutine) ss_fault);