/** @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_