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

   1 /** @file
   2
   3   Copyright (c) 2013, ARM Ltd. All rights reserved.<BR>
   4
   5   This program and the accompanying materials
   6   are licensed and made available under the terms and conditions of the BSD License
   7   which accompanies this distribution.  The full text of the license may be found at
   8   http://opensource.org/licenses/bsd-license.php
   9
  10   THE PROGRAM IS DISTRIBUTED UNDER THE BSD LICENSE ON AN "AS IS" BASIS,
  11   WITHOUT WARRANTIES OR REPRESENTATIONS OF ANY KIND, EITHER EXPRESS OR IMPLIED.
  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
  25 EFI_STATUS
  26 GetTimerValue (
  27   OUT UINT64    *TimerValue
  28   )
  29 /*++
  30
  31 Routine Description:
  32
  33   Get timer value.
  34
  35 Arguments:
  36
  37   TimerValue  - Pointer to the returned timer value
  38
  39 Returns:
  40
  41   EFI_SUCCESS - Successfully got timer value
  42
  43 --*/
  44 {
  45   // CPU does not have a timer for AArch64 ...
  46   ASSERT (FALSE);
  47   return EFI_SUCCESS;
  48 }