ShellPkg/Library/UefiShellNetwork1CommandsLib/Ipf/Itc.c

   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 }