1 /*++
2 
3 Copyright (c) 2004, Intel Corporation. All rights reserved.<BR>
4 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
40