2 // Copyright (c) 2004, Intel Corporation
3 // All rights reserved. This program and the accompanying materials
4 // are licensed and made available under the terms and conditions of the BSD License
5 // which accompanies this distribution. The full text of the license may be found at
6 // http://opensource.org/licenses/bsd-license.php
8 // THE PROGRAM IS DISTRIBUTED UNDER THE BSD LICENSE ON AN "AS IS" BASIS,
9 // WITHOUT WARRANTIES OR REPRESENTATIONS OF ANY KIND, EITHER EXPRESS OR IMPLIED.
13 // PerformancePrimitives.s
22 .file "PerformancePrimitives.s"
26 //-----------------------------------------------------------------------------
30 // Implementation of CPU-based time service
35 // OUT UINT64 *TimerValue
44 // As per static calling conventions.
47 //---------------------------------------------------------------------------
48 PROCEDURE_ENTRY (GetTimerValue)
50 NESTED_SETUP (1,8,0,0)
59 PROCEDURE_EXIT (GetTimerValue)
60 //---------------------------------------------------------------------------