VirtualBox

source: vbox/trunk/src/VBox/Devices/EFI/Firmware/OvmfPkg/Library/AcpiTimerLib/AcpiTimerLib.h

Last change on this file was 80721, checked in by vboxsync, 5 years ago

Devices/EFI/FirmwareNew: Start upgrade process to edk2-stable201908 (compiles on Windows and works to some extent), bugref:4643

  • Property svn:eol-style set to native
File size: 428 bytes
Line 
1/** @file
2 Internal definitions for ACPI Timer Library
3
4 Copyright (C) 2014, Gabriel L. Somlo <somlo@cmu.edu>
5
6 SPDX-License-Identifier: BSD-2-Clause-Patent
7**/
8
9#ifndef _ACPI_TIMER_LIB_INTERNAL_H_
10#define _ACPI_TIMER_LIB_INTERNAL_H_
11
12/**
13 Internal function to read the current tick counter of ACPI.
14
15 @return The tick counter read.
16
17**/
18UINT32
19InternalAcpiGetTimerTick (
20 VOID
21 );
22
23#endif // _ACPI_TIMER_LIB_INTERNAL_H_
Note: See TracBrowser for help on using the repository browser.

© 2024 Oracle Support Privacy / Do Not Sell My Info Terms of Use Trademark Policy Automated Access Etiquette