2 ACPI high precision event timer table definition, defined at
3 ftp://download.intel.com/labs/platcomp/hpet/download/hpetspec098a.pdf.
4 Specification name is IA-PC HPET (High Precision Event Timers) Specification.
6 Copyright (c) 2007, Intel Corporation
7 All rights reserved. This program and the accompanying materials
8 are licensed and made available under the terms and conditions of the BSD License
9 which accompanies this distribution. The full text of the license may be found at
10 http://opensource.org/licenses/bsd-license.php
12 THE PROGRAM IS DISTRIBUTED UNDER THE BSD LICENSE ON AN "AS IS" BASIS,
13 WITHOUT WARRANTIES OR REPRESENTATIONS OF ANY KIND, EITHER EXPRESS OR IMPLIED.
16 #ifndef _HIGH_PRECISION_EVENT_TIMER_TABLE_H_
17 #define _HIGH_PRECISION_EVENT_TIMER_TABLE_H_
19 #include <IndustryStandard/Acpi.h>
22 // 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