From: Guillermo J. Rozas <edu/mit/csail/zurich/gjr>
Date: Mon, 12 Oct 1992 20:00:46 +0000 (+0000)
Subject: Make X32_DPMI_system raise the global interrupt on return, in case an
X-Git-Tag: 20090517-FFI~8857
X-Git-Url: https://birchwood-abbey.net/git?a=commitdiff_plain;h=2f2b5017bcdfa442dee8c548b9a9ba6d46f1935f;p=mit-scheme.git

Make X32_DPMI_system raise the global interrupt on return, in case an
interrupt was missed while the handler was disabled.
---

diff --git a/v7/src/microcode/dosx32.c b/v7/src/microcode/dosx32.c
index ba65668f1..decfea771 100644
--- a/v7/src/microcode/dosx32.c
+++ b/v7/src/microcode/dosx32.c
@@ -1,6 +1,6 @@
 /* -*-C-*-
 
-$Id: dosx32.c,v 1.4 1992/10/07 06:23:35 jinx Exp $
+$Id: dosx32.c,v 1.5 1992/10/12 20:00:46 jinx Exp $
 
 Copyright (c) 1992 Massachusetts Institute of Technology
 
@@ -34,7 +34,7 @@ MIT in each case. */
 
 #include <int.h>
 #include <stdio.h>
-#include "ansidecl.h"
+#include "scheme.h"
 #include "msdos.h"
 #include "dosio.h"
 #include "dossys.h"
@@ -393,6 +393,10 @@ DEFUN (X32_DPMI_system, (command), const char * command)
     * ptimer_record = timer_record->next;
     return (-2);
   }
+  /* Request a low-level timer interrupt, in case we missed it because
+     we disabled it.
+   */
+  REQUEST_INTERRUPT (INT_Global_GC);
   return (result);
 }