BaseAcpiTimerLibBhyve.c

Go to the documentation of this file.

 
#include <Library/IoLib.h>
#include <OvmfPlatforms.h>
 
UINT32
InternalAcpiGetTimerTick (
  VOID
  )
{
  //
  // Return the current ACPI timer value.
  //
  return IoRead32 (BHYVE_ACPI_TIMER_IO_ADDR);
}