projects / mit-scheme.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 3f14891) | patch
Make X32_DPMI_system raise the global interrupt on return, in case an
authorGuillermo J. Rozas <edu/mit/csail/zurich/gjr>
Mon, 12 Oct 1992 20:00:46 +0000 (20:00 +0000)
committerGuillermo J. Rozas <edu/mit/csail/zurich/gjr>
Mon, 12 Oct 1992 20:00:46 +0000 (20:00 +0000)
commit2f2b5017bcdfa442dee8c548b9a9ba6d46f1935f
treececc043be893ed33ee726ccf7129d84c894908d1tree | snapshot
parent3f14891e4d7cce1e293662edc9f96fb97b83909ccommit | diff
Make X32_DPMI_system raise the global interrupt on return, in case an
interrupt was missed while the handler was disabled.
v7/src/microcode/dosx32.c diff | blob | history
MIT/GNU Scheme, Pucked