Index: traphdlr.c
===================================================================
--- traphdlr.c	(revision 60726)
+++ traphdlr.c	(working copy)
@@ -100,8 +100,7 @@
     if (__builtin_expect(TrapFrame->Dr7 & ~DR7_RESERVED_MASK, 0))
     {
         /* Check if the frame was from user mode or v86 mode */
-        if (KiUserTrap(TrapFrame) ||
-            (TrapFrame->EFlags & EFLAGS_V86_MASK))
+        if (KiUserTrap(TrapFrame) || (TrapFrame->EFlags & EFLAGS_V86_MASK))
         {
             /* Handle debug registers */
             KiHandleDebugRegistersOnTrapExit(TrapFrame);
@@ -1234,17 +1233,6 @@
             /* Continue execution */
             KiEoiHelper(TrapFrame);
         }
-        else
-        {
-#if 0
-            /* Do what windows does and issue an invalid access violation */
-            KiDispatchException2Args(KI_EXCEPTION_ACCESS_VIOLATION,
-                                     TrapFrame->Eip,
-                                     TrapFrame->ErrCode & 2 ? TRUE : FALSE,
-                                     Cr2,
-                                     TrapFrame);
-#endif
-        }
     }
 
     /* Call the access fault handler */