BaseCpuTimerLib.c

Go to the documentation of this file.

 
#include <Base.h>
#include <Library/TimerLib.h>
#include <Library/BaseLib.h>
 
UINT64
CpuidCoreClockCalculateTscFrequency (
  VOID
  );
 
UINT64
InternalGetPerformanceCounterFrequency (
  VOID
  )
{
  return CpuidCoreClockCalculateTscFrequency ();
}