EdkCompatibilityPkg/Foundation/Library/Dxe/EfiDriverLib/Ebc/PerformancePrimitives.c

   1 /*++
   2
   3 Copyright (c) 2004, 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 Module Name:
  13
  14   PerformancePrimitives.c
  15
  16 Abstract:
  17
  18   Support for Performance library
  19
  20 --*/
  21
  22 #include "Tiano.h"  // for ASSERT macro
  23 #include "TianoCommon.h"
  24
  25 EFI_STATUS
  26 GetTimerValue (
  27   OUT UINT64    *TimerValue
  28   )
  29 /*++
  30
  31 Routine Description:
  32
  33   Set TimerValue to 0, which is not expected to be run.
  34
  35 Arguments:
  36
  37   TimerValue  - Timer value for output
  38
  39 Returns:
  40
  41   EFI_SUCCESS - Should not be reached.
  42
  43 --*/
  44 {
  45   //
  46   // Should not be used for EBC, so assert.
  47   //
  48   *TimerValue = 0;
  49   ASSERT (FALSE);
  50
  51   return EFI_SUCCESS;
  52 }