Index: /trunk/src/VBox/VMM/VMMR0/HMSVMR0.cpp
===================================================================
--- /trunk/src/VBox/VMM/VMMR0/HMSVMR0.cpp	(revision 51229)
+++ /trunk/src/VBox/VMM/VMMR0/HMSVMR0.cpp	(revision 51230)
@@ -1815,5 +1815,6 @@
                             | HM_CHANGED_SVM_RESERVED1            /* Reserved. */
                             | HM_CHANGED_SVM_RESERVED2
-                            | HM_CHANGED_SVM_RESERVED3);
+                            | HM_CHANGED_SVM_RESERVED3
+                            | HM_CHANGED_SVM_RESERVED4);
 
     /* All the guest state bits should be loaded except maybe the host context and/or shared host/guest bits. */
Index: /trunk/src/VBox/VMM/VMMR0/HMVMXR0.cpp
===================================================================
--- /trunk/src/VBox/VMM/VMMR0/HMVMXR0.cpp	(revision 51229)
+++ /trunk/src/VBox/VMM/VMMR0/HMVMXR0.cpp	(revision 51230)
@@ -1684,5 +1684,5 @@
     }
 }
-# endif /* VBOX_STRICT */
+#endif /* VBOX_STRICT */
 
 
@@ -10437,5 +10437,5 @@
                 case MSR_K8_FS_BASE:        /* no break */
                 case MSR_K8_GS_BASE:        HMCPU_CF_SET(pVCpu, HM_CHANGED_GUEST_SEGMENT_REGS);     break;
-                case MSR_K6_EFER:           HMCPU_CF_SET(pVCpu, HM_CHANGED_GUEST_EFER_MSR);         break;
+                case MSR_K6_EFER:           /* already handled above */                             break;
                 default:
                 {