VirtualBox

source: vbox/trunk/src/VBox/Devices/EFI/FirmwareNew/OvmfPkg/Library/AcpiTimerLib/AcpiTimerLib.h@ 99396

Last change on this file since 99396 was 80721, checked in by vboxsync, 6 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 <[email protected]>
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.

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