/** @file This file describes the contents of the ACPI High Precision Event Timer Description Table (HPET). Some additional ACPI values are defined in Acpi10.h, Acpi20.h, and Acpi30.h All changes to the HPET contents should be done in this file. Copyright (c) 2013-2015 Intel Corporation. SPDX-License-Identifier: BSD-2-Clause-Patent **/ #ifndef _HPET_H_ #define _HPET_H_ // // Statements that include other files // #include #include // // HPET Definitions // #define EFI_ACPI_OEM_HPET_REVISION 0x00000001 #define EFI_ACPI_EVENT_TIMER_BLOCK_ID 0x8086A201 #define ACPI_RUNTIME_UPDATE 0x00 // // Event Timer Block Base Address Information // #define EFI_ACPI_EVENT_TIMER_BLOCK_ADDRESS_SPACE_ID EFI_ACPI_3_0_SYSTEM_MEMORY #define EFI_ACPI_EVENT_TIMER_BLOCK_BIT_WIDTH 0x00 #define EFI_ACPI_EVENT_TIMER_BLOCK_BIT_OFFSET 0x00 #define EFI_ACPI_EVENT_TIMER_ACCESS_SIZE 0x00 #define EFI_ACPI_HPET_NUMBER 0x00 #define EFI_ACPI_MIN_CLOCK_TICK 0x0080 #define EFI_ACPI_HPET_ATTRIBUTES 0x00 #endif