/** @file | |
The implement to read TSC in IA32 platform. | |
Copyright (c) 2009 - 2010, Intel Corporation. All rights reserved.<BR> | |
This program and the accompanying materials | |
are licensed and made available under the terms and conditions of the BSD License | |
which accompanies this distribution. The full text of the license may be found at | |
http://opensource.org/licenses/bsd-license.php. | |
THE PROGRAM IS DISTRIBUTED UNDER THE BSD LICENSE ON AN "AS IS" BASIS, | |
WITHOUT WARRANTIES OR REPRESENTATIONS OF ANY KIND, EITHER EXPRESS OR IMPLIED. | |
**/ | |
#include <Library/BaseLib.h> | |
/** | |
Reads and returns the current value of the Time Stamp Counter (TSC). | |
@return The current value of TSC. | |
**/ | |
UINT64 | |
ReadTime () | |
{ | |
return AsmReadTsc (); | |
} |