Index: /trunk/src/VBox/VMM/VMMR0/HMSVMR0.cpp
===================================================================
--- /trunk/src/VBox/VMM/VMMR0/HMSVMR0.cpp	(revision 81276)
+++ /trunk/src/VBox/VMM/VMMR0/HMSVMR0.cpp	(revision 81277)
@@ -2386,5 +2386,4 @@
      */
     uint64_t const fCtxChanged = ASMAtomicUoReadU64(&pVCpu->hm.s.fCtxChanged);
-    RT_UNTRUSTED_NONVOLATILE_COPY_FENCE();
     AssertMsg(!(fCtxChanged & (HM_CHANGED_ALL_GUEST & ~HM_CHANGED_SVM_HOST_GUEST_SHARED_STATE)),
               ("fCtxChanged=%#RX64\n", fCtxChanged));
Index: /trunk/src/VBox/VMM/VMMR0/HMVMXR0.cpp
===================================================================
--- /trunk/src/VBox/VMM/VMMR0/HMVMXR0.cpp	(revision 81276)
+++ /trunk/src/VBox/VMM/VMMR0/HMVMXR0.cpp	(revision 81277)
@@ -95,5 +95,4 @@
         do { \
             uint32_t const fVmcsFieldRead = ASMAtomicUoReadU32(&pVmxTransient->fVmcsFieldsRead); \
-            RT_UNTRUSTED_NONVOLATILE_COPY_FENCE(); \
             Assert((fVmcsFieldRead & (a_fReadFields)) == (a_fReadFields)); \
         } while (0)