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