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