/** @file
|
Provide InternalAcpiGetTimerTick for the bhyve instance of the
|
Base ACPI Timer Library
|
|
Copyright (C) 2020, Rebecca Cran <rebecca@bsdio.com>
|
Copyright (C) 2014, Gabriel L. Somlo <somlo@cmu.edu>
|
|
SPDX-License-Identifier: BSD-2-Clause-Patent
|
**/
|
|
#include <Library/IoLib.h>
|
#include <OvmfPlatforms.h>
|
|
/**
|
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.
|
|
@return The tick counter read.
|
|
**/
|
UINT32
|
InternalAcpiGetTimerTick (
|
VOID
|
)
|
{
|
//
|
// Return the current ACPI timer value.
|
//
|
return IoRead32 (BHYVE_ACPI_TIMER_IO_ADDR);
|
}
|
