DxeTscTimerLib.inf revision 034307a7ec57dd87b83b14e2c706b3e7c2d302c5
1## @file 2# Dxe Timer Library which uses the Time Stamp Counter in the processor. 3# 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. 10# 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. 18# 19## 20 21[Defines] 22 INF_VERSION = 0x00010005 23 BASE_NAME = DxeTscTimerLib 24 FILE_GUID = 95ab030f-b4fd-4ee4-92a5-9e04e87634d9 25 MODULE_TYPE = DXE_DRIVER 26 VERSION_STRING = 1.0 27 LIBRARY_CLASS = TimerLib|DXE_CORE DXE_DRIVER DXE_RUNTIME_DRIVER DXE_SMM_DRIVER UEFI_APPLICATION UEFI_DRIVER SMM_CORE 28 29 CONSTRUCTOR = DxeTscTimerLibConstructor 30 31 32# 33# VALID_ARCHITECTURES = IA32 X64 34# 35 36[Sources.common] 37 TscTimerLibShare.c 38 DxeTscTimerLib.c 39 40 41[Packages] 42 MdePkg/MdePkg.dec 43 PerformancePkg/PerformancePkg.dec 44 45 46[LibraryClasses] 47 UefiBootServicesTableLib 48 PcdLib 49 PciLib 50 IoLib 51 BaseLib 52 UefiLib 53 DebugLib 54 55[Guids] 56 gEfiTscFrequencyGuid ## CONSUMES ## System Configuration Table 57 58[Pcd.common] 59 gPerformancePkgTokenSpaceGuid.PcdPerfPkgAcpiIoPortBaseAddress 60