| Vishal Bhoj | 82c8071 | 2015-12-15 21:13:33 +0530 | [diff] [blame^] | 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_
|