2 // Base ACPI Timer Library
4 // Provides basic timer support using the ACPI timer hardware. The performance
5 // counter features are provided by the processors time stamp counter.
7 // Copyright (c) 2013 - 2014, Intel Corporation. All rights reserved.<BR>
9 // This program and the accompanying materials
10 // are licensed and made available under the terms and conditions of the BSD License
11 // which accompanies this distribution. The full text of the license may be found at
12 // http://opensource.org/licenses/bsd-license.php
14 // THE PROGRAM IS DISTRIBUTED UNDER THE BSD LICENSE ON AN "AS IS" BASIS,
15 // WITHOUT WARRANTIES OR REPRESENTATIONS OF ANY KIND, EITHER EXPRESS OR IMPLIED.
20 #string STR_MODULE_ABSTRACT #language en-US "ACPI Timer Library"
22 #string STR_MODULE_DESCRIPTION #language en-US "Provides basic timer support using the ACPI timer hardware."