TianoCore EDK2 master
Loading...
Searching...
No Matches
AcpiTimerLib.h
Go to the documentation of this file.
1
9#ifndef _ACPI_TIMER_LIB_INTERNAL_H_
10#define _ACPI_TIMER_LIB_INTERNAL_H_
11
18UINT32
20 VOID
21 );
22
23#endif // _ACPI_TIMER_LIB_INTERNAL_H_
UINT32 InternalAcpiGetTimerTick(VOID)