TianoCore EDK2 master
Loading...
Searching...
No Matches
BaseAcpiTimerLibBhyve.c File Reference
#include <Library/IoLib.h>
#include <OvmfPlatforms.h>

Go to the source code of this file.

Functions

UINT32 InternalAcpiGetTimerTick (VOID)
 

Detailed Description

Provide InternalAcpiGetTimerTick for the bhyve instance of the Base ACPI Timer Library

Copyright (C) 2020, Rebecca Cran rebec.nosp@m.ca@b.nosp@m.sdio..nosp@m.com Copyright (C) 2014, Gabriel L. Somlo somlo.nosp@m.@cmu.nosp@m..edu

SPDX-License-Identifier: BSD-2-Clause-Patent

Definition in file BaseAcpiTimerLibBhyve.c.

Function Documentation

◆ InternalAcpiGetTimerTick()

UINT32 InternalAcpiGetTimerTick ( VOID  )

Internal function to read the current tick counter of ACPI.

Read the current ACPI tick counter using the counter address cached by this instance's constructor.

Returns
The tick counter read.

Definition at line 24 of file BaseAcpiTimerLibBhyve.c.