+++ /dev/null
-/** @file\r
-\r
- Copyright (c) 2013, ARM Ltd. All rights reserved.<BR>\r
-\r
- This program and the accompanying materials\r
- are licensed and made available under the terms and conditions of the BSD License\r
- which accompanies this distribution. The full text of the license may be found at\r
- http://opensource.org/licenses/bsd-license.php\r
-\r
- THE PROGRAM IS DISTRIBUTED UNDER THE BSD LICENSE ON AN "AS IS" BASIS,\r
- WITHOUT WARRANTIES OR REPRESENTATIONS OF ANY KIND, EITHER EXPRESS OR IMPLIED.\r
-\r
-Module Name:\r
-\r
- PerformancePrimitives.c\r
-\r
-Abstract:\r
-\r
- Support for Performance library\r
-\r
---*/\r
-\r
-#include "TianoCommon.h"\r
-\r
-EFI_STATUS\r
-GetTimerValue (\r
- OUT UINT64 *TimerValue\r
- )\r
-/*++\r
-\r
-Routine Description:\r
-\r
- Get timer value.\r
-\r
-Arguments:\r
-\r
- TimerValue - Pointer to the returned timer value\r
-\r
-Returns:\r
-\r
- EFI_SUCCESS - Successfully got timer value\r
-\r
---*/\r
-{\r
- // CPU does not have a timer for AArch64 ...\r
- ASSERT (FALSE);\r
- return EFI_SUCCESS;\r
-}\r