1/*++ 2 3Copyright (c) 2007, Intel Corporation. All rights reserved.<BR> 4This program and the accompanying materials 5are licensed and made available under the terms and conditions of the BSD License 6which accompanies this distribution. The full text of the license may be found at 7http://opensource.org/licenses/bsd-license.php 8 9THE PROGRAM IS DISTRIBUTED UNDER THE BSD LICENSE ON AN "AS IS" BASIS, 10WITHOUT WARRANTIES OR REPRESENTATIONS OF ANY KIND, EITHER EXPRESS OR IMPLIED. 11 12Module Name: 13 14 HighPrecisionEventTimerTable.h 15 16Abstract: 17 18 ACPI high precision event timer table definition, defined at 19 Intel IA-PC HPET (High Precision Event Timers) Specification. 20 21--*/ 22 23#ifndef _HIGH_PRECISION_EVENT_TIMER_TABLE_H_ 24#define _HIGH_PRECISION_EVENT_TIMER_TABLE_H_ 25 26// 27// Include files 28// 29#include "Acpi2_0.h" 30 31// 32// Ensure proper structure formats 33// 34#pragma pack(1) 35// 36// High Precision Event Timer Table header definition. 37// 38typedef struct { 39 EFI_ACPI_DESCRIPTION_HEADER Header; 40 UINT32 EventTimerBlockId; 41 EFI_ACPI_2_0_GENERIC_ADDRESS_STRUCTURE BaseAddressLower32Bit; 42 UINT8 HpetNumber; 43 UINT16 MainCounterMinimumClockTickInPeriodicMode; 44 UINT8 PageProtectionAndOemAttribute; 45} EFI_ACPI_HIGH_PRECISION_EVENT_TIMER_TABLE_HEADER; 46 47// 48// HPET Revision (defined in spec) 49// 50#define EFI_ACPI_HIGH_PRECISION_EVENT_TIMER_TABLE_REVISION 0x01 51 52// 53// Page protection setting 54// Values 3 through 15 are reserved for use by the specification 55// 56#define EFI_ACPI_NO_PAGE_PROTECTION 0 57#define EFI_ACPI_4KB_PAGE_PROTECTION 1 58#define EFI_ACPI_64KB_PAGE_PROTECTION 2 59 60#pragma pack() 61 62#endif 63