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 - 2018, Intel Corporation. All rights reserved.<BR>
6 SPDX-License-Identifier: BSD-2-Clause-Patent
9 #ifndef _HIGH_PRECISION_EVENT_TIMER_TABLE_H_
10 #define _HIGH_PRECISION_EVENT_TIMER_TABLE_H_
12 #include <IndustryStandard/Acpi.h>
15 // Ensure proper structure formats
20 /// HPET Event Timer Block ID described in IA-PC HPET Specification, 3.2.4.
25 UINT32 NumberOfTimers
: 5;
26 UINT32 CounterSize
: 1;
28 UINT32 LegacyRoute
: 1;
32 } EFI_ACPI_HIGH_PRECISION_EVENT_TIMER_BLOCK_ID
;
35 /// High Precision Event Timer Table header definition.
38 EFI_ACPI_DESCRIPTION_HEADER Header
;
39 UINT32 EventTimerBlockId
;
40 EFI_ACPI_2_0_GENERIC_ADDRESS_STRUCTURE BaseAddressLower32Bit
;
42 UINT16 MainCounterMinimumClockTickInPeriodicMode
;
43 UINT8 PageProtectionAndOemAttribute
;
44 } EFI_ACPI_HIGH_PRECISION_EVENT_TIMER_TABLE_HEADER
;
47 /// HPET Revision (defined in spec)
49 #define EFI_ACPI_HIGH_PRECISION_EVENT_TIMER_TABLE_REVISION 0x01
52 // Page protection setting
53 // Values 3 through 15 are reserved for use by the specification
55 #define EFI_ACPI_NO_PAGE_PROTECTION 0
56 #define EFI_ACPI_4KB_PAGE_PROTECTION 1
57 #define EFI_ACPI_64KB_PAGE_PROTECTION 2