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