Index: /trunk/src/VBox/VMM/VMMR0/HMSVMR0.cpp
===================================================================
--- /trunk/src/VBox/VMM/VMMR0/HMSVMR0.cpp	(revision 49969)
+++ /trunk/src/VBox/VMM/VMMR0/HMSVMR0.cpp	(revision 49970)
@@ -3093,6 +3093,8 @@
     if (pSvmTransient->fRestoreTscAuxMsr)
     {
-        CPUMR0SetGuestTscAux(pVCpu, ASMRdMsr(MSR_K8_TSC_AUX));
-        ASMWrMsr(MSR_K8_TSC_AUX, pVCpu->hm.s.u64HostTscAux);
+        uint64_t u64GuestTscAuxMsr = ASMRdMsr(MSR_K8_TSC_AUX);
+        CPUMR0SetGuestTscAux(pVCpu, u64GuestTscAuxMsr);
+        if (u64GuestTscAuxMsr != pVCpu->hm.s.u64HostTscAux)
+            ASMWrMsr(MSR_K8_TSC_AUX, pVCpu->hm.s.u64HostTscAux);
     }