/* Internal function to retrieves the 64-bit frequency in Hz. */
UINT64 InternalGetPerformanceCounterFrequency(VOID)
/* Internal function to retrieves the 64-bit frequency in Hz. */
UINT64 InternalGetPerformanceCounterFrequency(VOID)
{
  return CpuidCoreClockCalculateTscFrequency ();
}