1 /** @file
2 The implement to read ITC in IA64 platform.
3
4 Copyright (c) 2009 - 2010, Intel Corporation. All rights reserved.<BR>
5
6 This program and the accompanying materials
7 are licensed and made available under the terms and conditions of the BSD License
8 which accompanies this distribution. The full text of the license may be found at
9 http://opensource.org/licenses/bsd-license.php.
10
11 THE PROGRAM IS DISTRIBUTED UNDER THE BSD LICENSE ON AN "AS IS" BASIS,
12 WITHOUT WARRANTIES OR REPRESENTATIONS OF ANY KIND, EITHER EXPRESS OR IMPLIED.
13
14 **/
15
16 #include <Library/BaseLib.h>
17
18 /**
19 Reads and returns the current value of the Interval Timer Counter Register (ITC).
20
21 @return The current value of ITC.
22
23 **/
24 UINT64
ReadTime()25 ReadTime ()
26 {
27 return AsmReadItc ();
28 }
29