Index: /trunk/src/VBox/VMM/VMMAll/EMAll.cpp
===================================================================
--- /trunk/src/VBox/VMM/VMMAll/EMAll.cpp	(revision 51657)
+++ /trunk/src/VBox/VMM/VMMAll/EMAll.cpp	(revision 51658)
@@ -5,5 +5,5 @@
 
 /*
- * Copyright (C) 2006-2013 Oracle Corporation
+ * Copyright (C) 2006-2014 Oracle Corporation
  *
  * This file is part of VirtualBox Open Source Edition (OSE), as
Index: /trunk/src/VBox/VMM/VMMAll/GIMAllHv.cpp
===================================================================
--- /trunk/src/VBox/VMM/VMMAll/GIMAllHv.cpp	(revision 51657)
+++ /trunk/src/VBox/VMM/VMMAll/GIMAllHv.cpp	(revision 51658)
@@ -79,4 +79,5 @@
         case MSR_GIM_HV_TIME_REF_COUNT:
         {
+            /** @todo r=ramshankar: Shouldn't we add the TSC offset here? */
             /* Hyper-V reports the time in 100 ns units (10 MHz). */
             uint64_t u64Tsc      = TMCpuTickGet(pVCpu);
Index: /trunk/src/VBox/VMM/VMMR3/GIMHv.cpp
===================================================================
--- /trunk/src/VBox/VMM/VMMR3/GIMHv.cpp	(revision 51657)
+++ /trunk/src/VBox/VMM/VMMR3/GIMHv.cpp	(revision 51658)
@@ -474,5 +474,6 @@
         uint64_t const u64TscKHz = TMCpuTicksPerSecond(pVM) / UINT64_C(1000);
         pRefTsc->u32TscSequence  = 1;
-        pRefTsc->u64TscScale     = (((uint64_t)(10000) << 32) / u64TscKHz) << 32;
+        pRefTsc->u64TscScale     = UINT64_C(10000) << 32;
+        pRefTsc->u64TscScale    /= (u64TscKHz << 32);
 
         LogRel(("GIM: HyperV: Enabled TSC page at %#RGp (u64TscScale=%#RX64 u64TscKHz=%#RX64)\n", GCPhysTscPage,
Index: /trunk/src/VBox/VMM/include/GIMHvInternal.h
===================================================================
--- /trunk/src/VBox/VMM/include/GIMHvInternal.h	(revision 51657)
+++ /trunk/src/VBox/VMM/include/GIMHvInternal.h	(revision 51658)
@@ -425,4 +425,5 @@
 /**
  * MMIO2 region indices.
+ * Note!! Saved-state are dependent on the index values, do -not- change!
  */
 /** The hypercall page region. */