blob: f927e27188da6abd38d3828c33f223ac68c23462 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
|
/** @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);
}
|
