Index: /trunk/src/VBox/Devices/Bus/DevPCI.cpp
===================================================================
--- /trunk/src/VBox/Devices/Bus/DevPCI.cpp	(revision 462)
+++ /trunk/src/VBox/Devices/Bus/DevPCI.cpp	(revision 463)
@@ -1061,5 +1061,6 @@
             if (pData->devices[i])
             {
-                AssertMsgFailed(("New device in slot %#x, %s\n", i, pData->devices[i]->name));
+                LogRel(("New device in slot %#x, %s\n", i, pData->devices[i]->name));
+                AssertFailed();
                 return VERR_SSM_LOAD_CONFIG_MISMATCH;
             }
@@ -1070,5 +1071,6 @@
         if (!pDev)
         {
-            AssertMsgFailed(("Device in slot %#x have been removed!\n", i, pDev->name));
+            LogRel(("Device in slot %#x has been removed!\n", i, pDev->name));
+            AssertFailed();
             return VERR_SSM_LOAD_CONFIG_MISMATCH;
         }
@@ -1084,6 +1086,7 @@
             ||  DevTmp.config[1] != pDev->config[1])
         {
-            AssertMsgFailed(("Device in slot %#x (%s) vendor id mismatch! saved=%.4Vhxs current=%.4Vhxs\n",
-                             i, pDev->name, DevTmp.config, pDev->config));
+            LogRel(("Device in slot %#x (%s) vendor id mismatch! saved=%.4Vhxs current=%.4Vhxs\n",
+                    i, pDev->name, DevTmp.config, pDev->config));
+            AssertFailed();
             return VERR_SSM_LOAD_CONFIG_MISMATCH;
         }
Index: /trunk/src/VBox/VMM/PDM.cpp
===================================================================
--- /trunk/src/VBox/VMM/PDM.cpp	(revision 462)
+++ /trunk/src/VBox/VMM/PDM.cpp	(revision 463)
@@ -540,5 +540,6 @@
         if (!pDevIns)
         {
-            AssertMsgFailed(("Device '%s'/%d not found in current config\n", szDeviceName, iInstance));
+            LogRel(("Device '%s'/%d not found in current config\n", szDeviceName, iInstance));
+            AssertFailed();
             return VERR_SSM_LOAD_CONFIG_MISMATCH;
         }
@@ -547,6 +548,7 @@
             )
         {
-            AssertMsgFailed(("u32Sep=%d loaded '%s'/%d  configured '%s'/%d\n",
-                             u32Sep, szDeviceName, iInstance, pDevIns->pDevReg->szDeviceName, pDevIns->iInstance));
+            LogRel(("u32Sep=%d loaded '%s'/%d  configured '%s'/%d\n",
+                    u32Sep, szDeviceName, iInstance, pDevIns->pDevReg->szDeviceName, pDevIns->iInstance));
+            AssertFailed();
             return VERR_SSM_LOAD_CONFIG_MISMATCH;
         }
@@ -558,5 +560,6 @@
     if (pDevIns)
     {
-        AssertMsgFailed(("Device '%s'/%d not found in saved state\n", pDevIns->pDevReg->szDeviceName, pDevIns->iInstance));
+        LogRel(("Device '%s'/%d not found in saved state\n", pDevIns->pDevReg->szDeviceName, pDevIns->iInstance));
+        AssertFailed();
         return VERR_SSM_LOAD_CONFIG_MISMATCH;
     }
Index: /trunk/src/VBox/VMM/PGM.cpp
===================================================================
--- /trunk/src/VBox/VMM/PGM.cpp	(revision 462)
+++ /trunk/src/VBox/VMM/PGM.cpp	(revision 463)
@@ -1521,6 +1521,7 @@
         if (!pMapping)
         {
-            AssertMsgFailed(("Couldn't find mapping: cPTs=%#x szDesc=%s (GCPtr=%VGv)\n",
-                             cPTs, szDesc, GCPtr));
+            LogRel(("Couldn't find mapping: cPTs=%#x szDesc=%s (GCPtr=%VGv)\n",
+                    cPTs, szDesc, GCPtr));
+            AssertFailed();
             return VERR_SSM_LOAD_CONFIG_MISMATCH;
         }
@@ -1578,8 +1579,9 @@
             ||  fHaveBits != !!pRam->pvHC)
         {
-            AssertMsgFailed(("Ram range: %VGp-%VGp %VGp bytes %s\n"
-                             "State    : %VGp-%VGp %VGp bytes %s\n",
-                             pRam->GCPhys, pRam->GCPhysLast, pRam->cb, pRam->pvHC ? "bits" : "nobits",
-                             GCPhys, GCPhysLast, cb, fHaveBits ? "bits" : "nobits"));
+            LogRel(("Ram range: %VGp-%VGp %VGp bytes %s\n"
+                    "State    : %VGp-%VGp %VGp bytes %s\n",
+                    pRam->GCPhys, pRam->GCPhysLast, pRam->cb, pRam->pvHC ? "bits" : "nobits",
+                    GCPhys, GCPhysLast, cb, fHaveBits ? "bits" : "nobits"));
+            AssertFailed();
             return VERR_SSM_LOAD_CONFIG_MISMATCH;
         }
Index: /trunk/src/VBox/VMM/VMM.cpp
===================================================================
--- /trunk/src/VBox/VMM/VMM.cpp	(revision 462)
+++ /trunk/src/VBox/VMM/VMM.cpp	(revision 463)
@@ -1583,6 +1583,7 @@
     }
 
-    AssertMsgFailed(("The stack is not in the same place and it's not empty! GCPtrStackBottom=%VGv pbGCStackBottom=%VGv ESP=%VGv\n",
-                     GCPtrStackBottom, pVM->vmm.s.pbGCStackBottom, GCPtrESP));
+    LogRel(("The stack is not in the same place and it's not empty! GCPtrStackBottom=%VGv pbGCStackBottom=%VGv ESP=%VGv\n",
+            GCPtrStackBottom, pVM->vmm.s.pbGCStackBottom, GCPtrESP));
+    AssertFailed();
     return VERR_SSM_LOAD_CONFIG_MISMATCH;
 }