1 //****************************************************************************
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
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.
18 // Contains basic assembly procedures to support IPF CPU.
20 //****************************************************************************
25 #include "IpfDefines.h"
28 PROCEDURE_ENTRY (EfiReadTsc)
33 PROCEDURE_EXIT (EfiReadTsc)