blob: 0ac990284402b92a9a1c00d98bce339f8a8cd0e7 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
|
/** @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_
|
