+++ /dev/null
-/*++\r
-\r
-Copyright (c) 2004, Intel Corporation. All rights reserved.<BR>\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
-#include "CpuIA32.h"\r
-\r
-EFI_STATUS\r
-GetTimerValue (\r
- OUT UINT64 *TimerValue\r
- )\r
-/*++\r
-\r
-Routine Description:\r
-\r
- Set TimerValue with current tick.\r
-\r
-Arguments:\r
-\r
- TimerValue - Timer value to be set\r
-\r
-Returns:\r
-\r
- EFI_SUCCESS - TimerValue is set.\r
-\r
---*/\r
-{\r
- *TimerValue = EfiReadTsc ();\r
- return EFI_SUCCESS;\r
-}\r