+++ /dev/null
-/** @file\r
- The implement to read ITC in IA64 platform.\r
-\r
- Copyright (c) 2009 - 2010, Intel Corporation. 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
-**/\r
-\r
-#include <Library/BaseLib.h>\r
-\r
-/**\r
- Reads and returns the current value of the Interval Timer Counter Register (ITC).\r
-\r
- @return The current value of ITC.\r
-\r
-**/\r
-UINT64\r
-ReadTime ()\r
-{\r
- return AsmReadItc ();\r
-}\r