# DXE ACPI Timer Library\r
#\r
# Provides basic timer support using the ACPI timer hardware. The performance\r
-# counter features are provided by the processors time stamp counter. \r
+# counter features are provided by the processors time stamp counter.\r
#\r
-# Copyright (c) 2013 - 2015, Intel Corporation. All rights reserved.<BR>\r
+# Note: The implementation uses the lower 24-bits of the ACPI timer and\r
+# is compatible with both 24-bit and 32-bit ACPI timers.\r
+#\r
+# Copyright (c) 2013 - 2018, Intel Corporation. All rights reserved.<BR>\r
# This program and the accompanying materials\r
# are licensed and made available under the terms and conditions of the BSD License\r
# which accompanies this distribution. The full text of the license may be found at\r
INF_VERSION = 0x00010005\r
BASE_NAME = DxeAcpiTimerLib\r
FILE_GUID = E624B98C-845A-4b94-9B50-B20475D552B9\r
- MODULE_TYPE = BASE\r
+ MODULE_TYPE = DXE_DRIVER\r
VERSION_STRING = 1.0\r
LIBRARY_CLASS = TimerLib|DXE_CORE DXE_DRIVER DXE_RUNTIME_DRIVER DXE_SMM_DRIVER UEFI_APPLICATION UEFI_DRIVER SMM_CORE\r
- CONSTRUCTOR = AcpiTimerLibConstructor\r
+ CONSTRUCTOR = DxeAcpiTimerLibConstructor\r
MODULE_UNI_FILE = DxeAcpiTimerLib.uni\r
\r
[Sources]\r
PciLib\r
IoLib\r
DebugLib\r
+ HobLib\r
\r
[Pcd]\r
gPcAtChipsetPkgTokenSpaceGuid.PcdAcpiIoPciBusNumber ## CONSUMES\r
gPcAtChipsetPkgTokenSpaceGuid.PcdAcpiIoPciBarRegisterOffset ## CONSUMES\r
gPcAtChipsetPkgTokenSpaceGuid.PcdAcpiIoPortBaseAddress ## CONSUMES\r
gPcAtChipsetPkgTokenSpaceGuid.PcdAcpiPm1TmrOffset ## CONSUMES\r
- gPcAtChipsetPkgTokenSpaceGuid.PcdAcpiIoPortBaseAddressMask ## CONSUMES
\ No newline at end of file
+ gPcAtChipsetPkgTokenSpaceGuid.PcdAcpiIoPortBaseAddressMask ## CONSUMES\r