878ddf1fc3
git-svn-id: https://edk2.svn.sourceforge.net/svnroot/edk2/trunk/edk2@3 6f19259b-4bc3-4df7-8a09-765794883524
48 lines
1.2 KiB
C
48 lines
1.2 KiB
C
/*++
|
|
|
|
Copyright (c) 2004, Intel Corporation
|
|
All rights reserved. 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.
|
|
|
|
Module Name:
|
|
|
|
PerformancePrimitives.c
|
|
|
|
Abstract:
|
|
|
|
Support for Performance library
|
|
|
|
--*/
|
|
|
|
#include "TianoCommon.h"
|
|
#include "CpuIA32.h"
|
|
|
|
EFI_STATUS
|
|
GetTimerValue (
|
|
OUT UINT64 *TimerValue
|
|
)
|
|
/*++
|
|
|
|
Routine Description:
|
|
|
|
Get timer value.
|
|
|
|
Arguments:
|
|
|
|
TimerValue - Pointer to the returned timer value
|
|
|
|
Returns:
|
|
|
|
EFI_SUCCESS - Successfully got timer value
|
|
|
|
--*/
|
|
{
|
|
*TimerValue = EfiReadTsc ();
|
|
return EFI_SUCCESS;
|
|
}
|