| /** @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 | |
| **/ | |
| #pragma once | |
| #define BHYVE_ACPI_TIMER_IO_ADDR 0x408 | |
| #define BHYVE_PM_REG 0x404 |