2 # Dxe Timer Library which uses the Time Stamp Counter in the processor.
4 # A version of the Timer Library using the processor's TSC.
5 # The time stamp counter in newer processors may support an enhancement, referred to as invariant TSC.
6 # The invariant TSC runs at a constant rate in all ACPI P-, C-. and T-states.
7 # This is the architectural behavior moving forward.
8 # TSC reads are much more efficient and do not incur the overhead associated with a ring transition or
9 # access to a platform resource.
11 # Copyright (c) 2009 - 2011, Intel Corporation. All rights reserved.<BR>
12 # This program and the accompanying materials
13 # are licensed and made available under the terms and conditions of the BSD License
14 # which accompanies this distribution. The full text of the license may be found at
15 # http://opensource.org/licenses/bsd-license.php
16 # THE PROGRAM IS DISTRIBUTED UNDER THE BSD LICENSE ON AN "AS IS" BASIS,
17 # WITHOUT WARRANTIES OR REPRESENTATIONS OF ANY KIND, EITHER EXPRESS OR IMPLIED.
22 INF_VERSION = 0x00010005
23 BASE_NAME = DxeTscTimerLib
24 FILE_GUID = 95ab030f-b4fd-4ee4-92a5-9e04e87634d9
25 MODULE_TYPE = DXE_DRIVER
27 LIBRARY_CLASS = TimerLib|DXE_CORE DXE_DRIVER DXE_RUNTIME_DRIVER DXE_SMM_DRIVER UEFI_APPLICATION UEFI_DRIVER SMM_CORE
29 CONSTRUCTOR = DxeTscTimerLibConstructor
33 # VALID_ARCHITECTURES = IA32 X64
44 PerformancePkg/PerformancePkg.dec
48 UefiBootServicesTableLib
57 gEfiTscFrequencyGuid ## CONSUMES ## System Configuration Table
60 gPerformancePkgTokenSpaceGuid.PcdPerfPkgAcpiIoPortBaseAddress