/** @file
  Various register numbers and value bits based on FreeBSD's bhyve
  at r359530.
  - https://svnweb.freebsd.org/base?view=revision&revision=359530

  Copyright (C) 2020, Rebecca Cran <rebecca@bsdio.com>

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

#ifndef __BHYVE_H__
#define __BHYVE_H__

#define BHYVE_ACPI_TIMER_IO_ADDR 0x408

#define BHYVE_PM_REG 0x404

#endif // __BHYVE_H__