Index: /trunk/src/VBox/VMM/VMMR3/GIMHv.cpp
===================================================================
--- /trunk/src/VBox/VMM/VMMR3/GIMHv.cpp	(revision 51658)
+++ /trunk/src/VBox/VMM/VMMR3/GIMHv.cpp	(revision 51659)
@@ -474,6 +474,5 @@
         uint64_t const u64TscKHz = TMCpuTicksPerSecond(pVM) / UINT64_C(1000);
         pRefTsc->u32TscSequence  = 1;
-        pRefTsc->u64TscScale     = UINT64_C(10000) << 32;
-        pRefTsc->u64TscScale    /= (u64TscKHz << 32);
+        pRefTsc->u64TscScale     = ((INT64_C(10000) << 32) / u64TscKHz) << 32;
 
         LogRel(("GIM: HyperV: Enabled TSC page at %#RGp (u64TscScale=%#RX64 u64TscKHz=%#RX64)\n", GCPhysTscPage,