1 /*++ 2 3 Copyright (c) 2004, Intel Corporation. All rights reserved.<BR> 4 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 } 53
