1## @file 2# Dxe Timer Library which uses the Time Stamp Counter in the processor. 3# 4# Note: This library is a sample implementation that depends on chipset ACPI timer. 5# It may not work on new generation chipset. PcAtChipsetPkg AcpiTimerLib is 6# the generic timer library that can replace this one. 7# 8# A version of the Timer Library using the processor's TSC. 9# The time stamp counter in newer processors may support an enhancement, referred to as invariant TSC. 10# The invariant TSC runs at a constant rate in all ACPI P-, C-. and T-states. 11# This is the architectural behavior moving forward. 12# TSC reads are much more efficient and do not incur the overhead associated with a ring transition or 13# access to a platform resource. 14# 15# Copyright (c) 2009 - 2015, Intel Corporation. All rights reserved.<BR> 16# This program and the accompanying materials 17# are licensed and made available under the terms and conditions of the BSD License 18# which accompanies this distribution. The full text of the license may be found at 19# http://opensource.org/licenses/bsd-license.php 20# THE PROGRAM IS DISTRIBUTED UNDER THE BSD LICENSE ON AN "AS IS" BASIS, 21# WITHOUT WARRANTIES OR REPRESENTATIONS OF ANY KIND, EITHER EXPRESS OR IMPLIED. 22# 23## 24 25[Defines] 26 INF_VERSION = 0x00010005 27 BASE_NAME = DxeTscTimerLib 28 FILE_GUID = 95ab030f-b4fd-4ee4-92a5-9e04e87634d9 29 MODULE_TYPE = DXE_DRIVER 30 VERSION_STRING = 1.0 31 LIBRARY_CLASS = TimerLib|DXE_CORE DXE_DRIVER DXE_RUNTIME_DRIVER DXE_SMM_DRIVER UEFI_APPLICATION UEFI_DRIVER SMM_CORE 32 33 CONSTRUCTOR = DxeTscTimerLibConstructor 34 35 36# 37# VALID_ARCHITECTURES = IA32 X64 38# 39 40[Sources.common] 41 TscTimerLibShare.c 42 DxeTscTimerLib.c 43 TscTimerLibInternal.h 44 45 46[Packages] 47 MdePkg/MdePkg.dec 48 PerformancePkg/PerformancePkg.dec 49 50 51[LibraryClasses] 52 UefiBootServicesTableLib 53 PcdLib 54 PciLib 55 IoLib 56 BaseLib 57 UefiLib 58 DebugLib 59 60[Guids] 61 gEfiTscFrequencyGuid ## CONSUMES ## SystemTable 62 63[Pcd.common] 64 gPerformancePkgTokenSpaceGuid.PcdPerfPkgAcpiIoPortBaseAddress ## SOMETIMES_CONSUMES 65