Index: /trunk/src/VBox/Devices/Bus/DevIommuAmd.cpp
===================================================================
--- /trunk/src/VBox/Devices/Bus/DevIommuAmd.cpp	(revision 87838)
+++ /trunk/src/VBox/Devices/Bus/DevIommuAmd.cpp	(revision 87839)
@@ -6515,4 +6515,13 @@
     AssertRCReturn(rc, rc);
     Assert(!pThis->ExtFeat.n.u1PprLogOverflowWarn);
+
+    /* End marker. */
+    {
+        uint32_t uEndMarker;
+        rc = pHlp->pfnSSMGetU32(pSSM, &uEndMarker);
+        AssertLogRelMsgRCReturn(rc, ("Failed to read end marker. rc=%Rrc\n", rc), VERR_SSM_DATA_UNIT_FORMAT_CHANGED);
+        AssertLogRelMsgReturn(uEndMarker == UINT32_MAX, ("End marker invalid (%#x expected %#x)\n", uEndMarker, UINT32_MAX),
+                              rcDataError);
+    }
 
     /** @todo Kick the command thread, anything else to do on restore? */