1 /** @file 2 Internal definitions for ACPI Timer Library 3 4 Copyright (C) 2014, Gabriel L. Somlo <somlo (at) 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
