1 /** @file 2 This file describes the contents of the ACPI High Precision Event Timer Description Table 3 (HPET). Some additional ACPI values are defined in Acpi10.h, Acpi20.h, and Acpi30.h 4 All changes to the HPET contents should be done in this file. 5 6 Copyright (c) 2013-2015 Intel Corporation. 7 8 This program and the accompanying materials 9 are licensed and made available under the terms and conditions of the BSD License 10 which accompanies this distribution. The full text of the license may be found at 11 http://opensource.org/licenses/bsd-license.php 12 13 THE PROGRAM IS DISTRIBUTED UNDER THE BSD LICENSE ON AN "AS IS" BASIS, 14 WITHOUT WARRANTIES OR REPRESENTATIONS OF ANY KIND, EITHER EXPRESS OR IMPLIED. 15 16 **/ 17 18 #ifndef _HPET_H_ 19 #define _HPET_H_ 20 21 // 22 // Statements that include other files 23 // 24 #include <IndustryStandard/Acpi.h> 25 #include <IndustryStandard/HighPrecisionEventTimerTable.h> 26 27 // 28 // HPET Definitions 29 // 30 31 #define EFI_ACPI_OEM_HPET_REVISION 0x00000001 32 33 #define EFI_ACPI_EVENT_TIMER_BLOCK_ID 0x8086A201 34 35 #define ACPI_RUNTIME_UPDATE 0x00 36 37 // 38 // Event Timer Block Base Address Information 39 // 40 #define EFI_ACPI_EVENT_TIMER_BLOCK_ADDRESS_SPACE_ID EFI_ACPI_3_0_SYSTEM_MEMORY 41 #define EFI_ACPI_EVENT_TIMER_BLOCK_BIT_WIDTH 0x00 42 #define EFI_ACPI_EVENT_TIMER_BLOCK_BIT_OFFSET 0x00 43 #define EFI_ACPI_EVENT_TIMER_ACCESS_SIZE 0x00 44 45 #define EFI_ACPI_HPET_NUMBER 0x00 46 47 #define EFI_ACPI_MIN_CLOCK_TICK 0x0080 48 49 #define EFI_ACPI_HPET_ATTRIBUTES 0x00 50 51 #endif 52