TianoCore EDK2 master
|
#include <Library/DebugLib.h>
#include <Library/IoLib.h>
#include <Library/PciLib.h>
#include <OvmfPlatforms.h>
Go to the source code of this file.
Functions | |
RETURN_STATUS EFIAPI | AcpiTimerLibConstructor (VOID) |
UINT32 | InternalAcpiGetTimerTick (VOID) |
Provide constructor and GetTick for BaseRom instance of ACPI Timer Library
Copyright (c) 2008 - 2012, Intel Corporation. All rights reserved. Copyright (c) 2011, Andrei Warkentin andre.nosp@m.iw@m.nosp@m.otoro.nosp@m.la.c.nosp@m.om
SPDX-License-Identifier: BSD-2-Clause-Patent
Definition in file BaseRomAcpiTimerLib.c.
RETURN_STATUS EFIAPI AcpiTimerLibConstructor | ( | VOID | ) |
The constructor function enables ACPI IO space.
If ACPI I/O space not enabled, this function will enable it. It will always return RETURN_SUCCESS.
EFI_SUCCESS | The constructor always returns RETURN_SUCCESS. |
Definition at line 26 of file BaseRomAcpiTimerLib.c.
UINT32 InternalAcpiGetTimerTick | ( | VOID | ) |
Internal function to read the current tick counter of ACPI.
Dynamically compute the address of the ACPI tick counter based on the properties of the underlying platform, to avoid relying on global variables.
Definition at line 98 of file BaseRomAcpiTimerLib.c.