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
;
36 /// High Precision Event Timer Table header definition.
39 EFI_ACPI_DESCRIPTION_HEADER Header
;
40 UINT32 EventTimerBlockId
;
41 EFI_ACPI_2_0_GENERIC_ADDRESS_STRUCTURE BaseAddressLower32Bit
;
43 UINT16 MainCounterMinimumClockTickInPeriodicMode
;
44 UINT8 PageProtectionAndOemAttribute
;
45 } EFI_ACPI_HIGH_PRECISION_EVENT_TIMER_TABLE_HEADER
;
48 /// HPET Revision (defined in spec)
50 #define EFI_ACPI_HIGH_PRECISION_EVENT_TIMER_TABLE_REVISION 0x01
53 // Page protection setting
54 // Values 3 through 15 are reserved for use by the specification
56 #define EFI_ACPI_NO_PAGE_PROTECTION 0
57 #define EFI_ACPI_4KB_PAGE_PROTECTION 1
58 #define EFI_ACPI_64KB_PAGE_PROTECTION 2