+++ /dev/null
-/*++\r
-\r
-Copyright (c) 2004, Intel Corporation. All rights reserved.<BR>\r
-This program and the accompanying materials \r
-are licensed and made available under the terms and conditions of the BSD License \r
-which accompanies this distribution. The full text of the license may be found at \r
-http://opensource.org/licenses/bsd-license.php \r
- \r
-THE PROGRAM IS DISTRIBUTED UNDER THE BSD LICENSE ON AN "AS IS" BASIS, \r
-WITHOUT WARRANTIES OR REPRESENTATIONS OF ANY KIND, EITHER EXPRESS OR IMPLIED. \r
-\r
-Module Name:\r
-\r
- CpuIA64.h\r
-\r
-Abstract:\r
-\r
---*/\r
-\r
-#ifndef _CPU_IA64_H\r
-#define _CPU_IA64_H\r
-\r
-#include "Tiano.h"\r
-\r
-UINT64\r
-EfiReadTsc (\r
- VOID\r
- )\r
-/*++ \r
-Routine Description: \r
- Read Time stamp\r
-Arguments: \r
- None \r
-Returns: \r
- Return the read data \r
---*/\r
-;\r
-\r
-#endif\r