--- /dev/null
+/** @file\r
+ Various register numbers and value bits based on the following publications:\r
+ - Intel(R) datasheet 290549-001\r
+ - Intel(R) datasheet 290562-001\r
+ - Intel(R) datasheet 297654-006\r
+ - Intel(R) datasheet 297738-017\r
+\r
+ 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 available\r
+ under the terms and conditions of the BSD License which accompanies this\r
+ distribution. The full text of the license may be found at\r
+ http://opensource.org/licenses/bsd-license.php\r
+\r
+ THE PROGRAM IS DISTRIBUTED UNDER THE BSD LICENSE ON AN "AS IS" BASIS, WITHOUT\r
+ WARRANTIES OR REPRESENTATIONS OF ANY KIND, EITHER EXPRESS OR IMPLIED.\r
+**/\r
+\r
+#ifndef __I440FX_PIIX4_H__\r
+#define __I440FX_PIIX4_H__\r
+\r
+#include <Library/PciLib.h>\r
+\r
+//\r
+// Host Bridge Device ID (DID) value for I440FX\r
+//\r
+#define INTEL_82441_DEVICE_ID 0x1237\r
+\r
+//\r
+// B/D/F/Type: 0/1/3/PCI\r
+//\r
+#define POWER_MGMT_REGISTER_PIIX4(Offset) PCI_LIB_ADDRESS (0, 1, 3, (Offset))\r
+\r
+#endif\r
--- /dev/null
+/** @file\r
+ Various register numbers and value bits based on the following publications:\r
+ - Intel(R) datasheet 316966-002\r
+ - Intel(R) datasheet 316972-004\r
+\r
+ 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 available\r
+ under the terms and conditions of the BSD License which accompanies this\r
+ distribution. The full text of the license may be found at\r
+ http://opensource.org/licenses/bsd-license.php\r
+\r
+ THE PROGRAM IS DISTRIBUTED UNDER THE BSD LICENSE ON AN "AS IS" BASIS, WITHOUT\r
+ WARRANTIES OR REPRESENTATIONS OF ANY KIND, EITHER EXPRESS OR IMPLIED.\r
+**/\r
+\r
+#ifndef __Q35_MCH_ICH9_H__\r
+#define __Q35_MCH_ICH9_H__\r
+\r
+#include <Library/PciLib.h>\r
+\r
+//\r
+// Host Bridge Device ID (DID) value for Q35/MCH\r
+//\r
+#define INTEL_Q35_MCH_DEVICE_ID 0x29C0\r
+\r
+//\r
+// B/D/F/Type: 0/0x1f/0/PCI\r
+//\r
+#define POWER_MGMT_REGISTER_Q35(Offset) \\r
+ PCI_LIB_ADDRESS (0, 0x1f, 0, (Offset))\r
+\r
+#endif\r
/** @file\r
OVMF Platform definitions\r
\r
+ 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
\r
#include <Library/PciLib.h>\r
#include <IndustryStandard/Pci22.h>\r
-\r
-//\r
-// Host Bridge Device ID (DID) values for PIIX4 and Q35/MCH\r
-//\r
-#define INTEL_82441_DEVICE_ID 0x1237 // PIIX4\r
-#define INTEL_Q35_MCH_DEVICE_ID 0x29C0 // Q35\r
+#include <IndustryStandard/Q35MchIch9.h>\r
+#include <IndustryStandard/I440FxPiix4.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
-// Power Management Device and Function numbers for PIIX4 and Q35/MCH\r
-//\r
-#define OVMF_PM_DEVICE_PIIX4 0x01\r
-#define OVMF_PM_FUNC_PIIX4 0x03\r
-#define OVMF_PM_DEVICE_Q35 0x1f\r
-#define OVMF_PM_FUNC_Q35 0x00\r
-\r
-//\r
-// Power Management Register access for PIIX4 and Q35/MCH\r
-//\r
-#define POWER_MGMT_REGISTER_PIIX4(Offset) \\r
- PCI_LIB_ADDRESS (0, OVMF_PM_DEVICE_PIIX4, OVMF_PM_FUNC_PIIX4, (Offset))\r
-#define POWER_MGMT_REGISTER_Q35(Offset) \\r
- PCI_LIB_ADDRESS (0, OVMF_PM_DEVICE_Q35, OVMF_PM_FUNC_Q35, (Offset))\r
-\r
#endif\r