#include <IndustryStandard/I440FxPiix4.h>\r
#include <IndustryStandard/Bhyve.h>\r
#include <IndustryStandard/Microvm.h>\r
+#include <IndustryStandard/CloudHv.h>\r
\r
//\r
// OVMF Host Bridge DID Address\r
//\r
// Values we program into the PM base address registers\r
//\r
-#define PIIX4_PMBA_VALUE 0xB000\r
-#define ICH9_PMBASE_VALUE 0x0600\r
+#define PIIX4_PMBA_VALUE 0xB000\r
+#define ICH9_PMBASE_VALUE 0x0600\r
\r
//\r
// Common bits in same-purpose registers\r
//\r
-#define PMBA_RTE BIT0\r
+#define PMBA_RTE BIT0\r
\r
//\r
// Common IO ports relative to the Power Management Base Address\r
//\r
-#define ACPI_TIMER_OFFSET 0x8\r
+#define ACPI_TIMER_OFFSET 0x8\r
\r
#endif\r