1 files changed, 23 insertions, 0 deletions
diff --git a/roms/edk2/OvmfPkg/Library/AcpiTimerLib/AcpiTimerLib.h b/roms/edk2/OvmfPkg/Library/AcpiTimerLib/AcpiTimerLib.h
new file mode 100644
index 000000000..0ac990284
--- /dev/null
+++ b/roms/edk2/OvmfPkg/Library/AcpiTimerLib/AcpiTimerLib.h
@@ -0,0 +1,23 @@
+/** @file
+  Internal definitions for ACPI Timer Library
+
+  Copyright (C) 2014, Gabriel L. Somlo <somlo@cmu.edu>
+
+  SPDX-License-Identifier: BSD-2-Clause-Patent
+**/
+
+#ifndef _ACPI_TIMER_LIB_INTERNAL_H_
+#define _ACPI_TIMER_LIB_INTERNAL_H_
+
+/**
+  Internal function to read the current tick counter of ACPI.
+
+  @return The tick counter read.
+
+**/
+UINT32
+InternalAcpiGetTimerTick (
+  VOID
+  );
+
+#endif // _ACPI_TIMER_LIB_INTERNAL_H_