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_
24