--- src/dosext/dpmi/dpmi.c	Thu Sep 19 06:38:56 2002
+++ src/dosext/dpmi/dpmi.c	Thu Sep 19 16:45:35 2002
@@ -2202,7 +2202,11 @@
 		  case 0x1c:	/* ROM BIOS timer tick interrupt */
 		  case 0x23:	/* DOS Ctrl+C interrupt */
 		  case 0x24:	/* DOS critical error interrupt */
-			run_pm_int(VM86_ARG(retval));
+			if (SEGOFF2LINEAR(BIOSSEG, INT_OFF(VM86_ARG(retval))) !=
+ 			    SEGOFF2LINEAR(_CS, _IP) -2)
+			  run_pm_int(VM86_ARG(retval));
+			else
+			  do_int(VM86_ARG(retval));
 			break;
 		  default:
 #ifdef USE_MHPDBG