Index: /trunk/src/VBox/VMM/VMMR0/HMSVMR0.cpp
===================================================================
--- /trunk/src/VBox/VMM/VMMR0/HMSVMR0.cpp	(revision 49966)
+++ /trunk/src/VBox/VMM/VMMR0/HMSVMR0.cpp	(revision 49967)
@@ -3023,9 +3023,9 @@
         && !(pVmcb->ctrl.u32InterceptCtrl2 & SVM_CTRL2_INTERCEPT_RDTSCP))
     {
+        /** @todo r=bird: I cannot find any place where the guest TSC_AUX value is
+         *        saved. */
         hmR0SvmSetMsrPermission(pVCpu, MSR_K8_TSC_AUX, SVMMSREXIT_PASSTHRU_READ, SVMMSREXIT_PASSTHRU_WRITE);
         pVCpu->hm.s.u64HostTscAux = ASMRdMsr(MSR_K8_TSC_AUX);
-        uint64_t u64GuestTscAux = 0;
-        int rc2 = CPUMQueryGuestMsr(pVCpu, MSR_K8_TSC_AUX, &u64GuestTscAux);
-        AssertRC(rc2);
+        uint64_t u64GuestTscAux = CPUMR0GetGuestTscAux(pVCpu);
         if (u64GuestTscAux != pVCpu->hm.s.u64HostTscAux)
             ASMWrMsr(MSR_K8_TSC_AUX, u64GuestTscAux);