Searched defs:u64TscKHz (Results 1 - 1 of 1) sorted by relevance

/vbox/src/VBox/VMM/VMMR3/
H A DGIMHv.cpp577 uint64_t const u64TscKHz = TMCpuTicksPerSecond(pVM) / UINT64_C(1000); local
583 pRefTsc->u64TscScale = ((INT64_C(10000) << 32) / u64TscKHz) << 32;
586 LogRel(("GIM: HyperV: Enabled TSC page at %#RGp - u64TscScale=%#RX64 u64TscKHz=%#RX64 (%'RU64) Seq=%#RU32\n",
587 GCPhysTscPage, pRefTsc->u64TscScale, u64TscKHz, u64TscKHz, pRefTsc->u32TscSequence));

Completed in 62 milliseconds