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 25 ReadTime () 26 { 27 return AsmReadItc (); 28 } 29
