OvmfPkg/Library/AcpiTimerLib/AcpiTimerLib.h

   1 /** @file
   2   Internal definitions for ACPI Timer Library
   3
   4   Copyright (C) 2014, Gabriel L. Somlo <somlo@cmu.edu>
   5
   6   SPDX-License-Identifier: BSD-2-Clause-Patent
   7 **/
   8
   9 #ifndef _ACPI_TIMER_LIB_INTERNAL_H_
  10 #define _ACPI_TIMER_LIB_INTERNAL_H_
  11
  12 /**
  13   Internal function to read the current tick counter of ACPI.
  14
  15   @return The tick counter read.
  16
  17 **/
  18 UINT32
  19 InternalAcpiGetTimerTick (
  20   VOID
  21   );
  22
  23 #endif // _ACPI_TIMER_LIB_INTERNAL_H_