Copyright (C) 2015, Red Hat, Inc.\r
Copyright (c) 2014, Gabriel L. Somlo <somlo@cmu.edu>\r
\r
- This program and the accompanying materials are licensed and made\r
- available under the terms and conditions of the BSD License which\r
- accompanies this distribution. The full text of the license may\r
- be found at http://opensource.org/licenses/bsd-license.php\r
-\r
- THE PROGRAM IS DISTRIBUTED UNDER THE BSD LICENSE ON AN "AS IS" BASIS,\r
- WITHOUT WARRANTIES OR REPRESENTATIONS OF ANY KIND, EITHER EXPRESS OR IMPLIED.\r
+ SPDX-License-Identifier: BSD-2-Clause-Patent\r
**/\r
\r
#ifndef __OVMF_PLATFORMS_H__\r
#include <IndustryStandard/Pci22.h>\r
#include <IndustryStandard/Q35MchIch9.h>\r
#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
#define OVMF_HOSTBRIDGE_DID \\r
PCI_LIB_ADDRESS (0, 0, 0, PCI_DEVICE_ID_OFFSET)\r
\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
+\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