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