1 /** @file
2   Internal definitions for ACPI Timer Library
3 
4   Copyright (C) 2014, Gabriel L. Somlo <somlo@cmu.edu>
5 
6   This program and the accompanying materials are licensed and made
7   available under the terms and conditions of the BSD License which
8   accompanies this distribution.   The full text of the license may
9   be found at http://opensource.org/licenses/bsd-license.php
10 
11   THE PROGRAM IS DISTRIBUTED UNDER THE BSD LICENSE ON AN "AS IS" BASIS,
12   WITHOUT WARRANTIES OR REPRESENTATIONS OF ANY KIND, EITHER EXPRESS OR IMPLIED.
13 **/
14 
15 #ifndef _ACPI_TIMER_LIB_INTERNAL_H_
16 #define _ACPI_TIMER_LIB_INTERNAL_H_
17 
18 /**
19   Internal function to read the current tick counter of ACPI.
20 
21   @return The tick counter read.
22 
23 **/
24 UINT32
25 InternalAcpiGetTimerTick (
26   VOID
27   );
28 
29 #endif // _ACPI_TIMER_LIB_INTERNAL_H_
30