2 ACPI high precision event timer table definition, at www.intel.com
3 Specification name is IA-PC HPET (High Precision Event Timers) Specification.
5 Copyright (c) 2007 - 2008, Intel Corporation. All rights reserved.<BR>
6 This program and the accompanying materials
7 are licensed and made available under the terms and conditions of the BSD License
8 which accompanies this distribution. The full text of the license may be found at
9 http://opensource.org/licenses/bsd-license.php
11 THE PROGRAM IS DISTRIBUTED UNDER THE BSD LICENSE ON AN "AS IS" BASIS,
12 WITHOUT WARRANTIES OR REPRESENTATIONS OF ANY KIND, EITHER EXPRESS OR IMPLIED.
15 #ifndef _HIGH_PRECISION_EVENT_TIMER_TABLE_H_
16 #define _HIGH_PRECISION_EVENT_TIMER_TABLE_H_
18 #include <IndustryStandard/Acpi.h>
21 // Ensure proper structure formats
26 /// High Precision Event Timer Table header definition.
29 EFI_ACPI_DESCRIPTION_HEADER Header
;
30 UINT32 EventTimerBlockId
;
31 EFI_ACPI_2_0_GENERIC_ADDRESS_STRUCTURE BaseAddressLower32Bit
;
33 UINT16 MainCounterMinimumClockTickInPeriodicMode
;
34 UINT8 PageProtectionAndOemAttribute
;
35 } EFI_ACPI_HIGH_PRECISION_EVENT_TIMER_TABLE_HEADER
;
38 /// HPET Revision (defined in spec)
40 #define EFI_ACPI_HIGH_PRECISION_EVENT_TIMER_TABLE_REVISION 0x01
43 // Page protection setting
44 // Values 3 through 15 are reserved for use by the specification
46 #define EFI_ACPI_NO_PAGE_PROTECTION 0
47 #define EFI_ACPI_4KB_PAGE_PROTECTION 1
48 #define EFI_ACPI_64KB_PAGE_PROTECTION 2