Another fix.

2022-08-08 02:24:20 +02:00
parent 69a56d9d30
commit 745c9f3eb5
2 changed files with 10 additions and 1 deletions
--- a/src/cpu/x86seg.c
+++ b/src/cpu/x86seg.c
@@ -168,8 +168,12 @@ x86_doabrt(int x86_abrt)
 void
 x86de(char *s, uint16_t error)
 {
+#ifdef BAD_CODE
    cpu_state.abrt = ABRT_DE;
    abrt_error = error;
+#else
+    x86_int(0);
+#endif
 }