Index: /trunk/src/VBox/VMM/VMMAll/IEMAllCImplSvmInstr.cpp.h
===================================================================
--- /trunk/src/VBox/VMM/VMMAll/IEMAllCImplSvmInstr.cpp.h	(revision 71529)
+++ /trunk/src/VBox/VMM/VMMAll/IEMAllCImplSvmInstr.cpp.h	(revision 71530)
@@ -1089,9 +1089,9 @@
      */
     uint16_t offMsrpm;
-    uint32_t uMsrpmBit;
+    uint8_t  uMsrpmBit;
     int rc = HMSvmGetMsrpmOffsetAndBit(idMsr, &offMsrpm, &uMsrpmBit);
     if (RT_SUCCESS(rc))
     {
-        Assert(uMsrpmBit < 0x3fff);
+        Assert(uMsrpmBit == 0 || uMsrpmBit == 2 || uMsrpmBit == 4 || uMsrpmBit == 6);
         Assert(offMsrpm < SVM_MSRPM_PAGES << X86_PAGE_4K_SHIFT);
         if (fWrite)