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