- Increment the PC by 4 during a DebugService-style trap, just like on x86, so that we can skip the actual instruction when we're done.

- Exit the trap after a prefetch abort. DbgPrint fully works now, and we're back where we started -- RamdiskCreateDiskDevice.


svn path=/trunk/; revision=34486

reactos/ntoskrnl/ke/arm/trapc.c

@@ -458,6 +458,7 @@ KiPrefetchAbortHandler(IN PKTRAP_FRAME TrapFrame)
             // Debug Service
             //
             Parameter0 = TrapFrame->R0;
+            TrapFrame->Pc += sizeof(ULONG);
         }
         else
         {
@@ -491,10 +492,11 @@ KiPrefetchAbortHandler(IN PKTRAP_FRAME TrapFrame)
                             TrapFrame,
                             KiGetPreviousMode(TrapFrame),
                             TRUE);
+
         //
-        // TODO
+        // We're done
         //
-        while (TRUE);
+        return STATUS_SUCCESS;
     }
     
     //