EdkCompatibilityPkg/Foundation/Library/Pei/PeiLib/X64/PerformancePrimitives.c

   1 /*++
   2
   3 Copyright (c) 2005, Intel Corporation
   4 All rights reserved. This program and the accompanying materials
   5 are licensed and made available under the terms and conditions of the BSD License
   6 which accompanies this distribution.  The full text of the license may be found at
   7 http://opensource.org/licenses/bsd-license.php
   8
   9 THE PROGRAM IS DISTRIBUTED UNDER THE BSD LICENSE ON AN "AS IS" BASIS,
  10 WITHOUT WARRANTIES OR REPRESENTATIONS OF ANY KIND, EITHER EXPRESS OR IMPLIED.
  11
  12
  13 Module Name:
  14
  15   PerformancePrimitives.c
  16
  17 Abstract:
  18
  19   Support for Performance library
  20
  21 --*/
  22
  23 #include "TianoCommon.h"
  24 #include "CpuIA32.h"
  25
  26 EFI_STATUS
  27 GetTimerValue (
  28   OUT UINT64    *TimerValue
  29   )
  30 {
  31   *TimerValue = EfiReadTsc ();
  32   return EFI_SUCCESS;
  33 }
  34