EdkCompatibilityPkg/Foundation/Cpu/Itanium/Include/CpuIa64.h

   1 /*++
   2
   3 Copyright (c) 2004, Intel Corporation
   4 All rights reserved. This program and the accompanying materials
   5 are licensed and made available under the terms and conditions of the BSD License
   6 which accompanies this distribution.  The full text of the license may be found at
   7 http://opensource.org/licenses/bsd-license.php
   8
   9 THE PROGRAM IS DISTRIBUTED UNDER THE BSD LICENSE ON AN "AS IS" BASIS,
  10 WITHOUT WARRANTIES OR REPRESENTATIONS OF ANY KIND, EITHER EXPRESS OR IMPLIED.
  11
  12 Module Name:
  13
  14   CpuIA64.h
  15
  16 Abstract:
  17
  18 --*/
  19
  20 #ifndef _CPU_IA64_H
  21 #define _CPU_IA64_H
  22
  23 #include "Tiano.h"
  24
  25 UINT64
  26 EfiReadTsc (
  27   VOID
  28   )
  29 /*++
  30 Routine Description:
  31   Read Time stamp
  32 Arguments:
  33   None
  34 Returns:
  35    Return the read data
  36 --*/
  37 ;
  38
  39 #endif