| 1 | /** @file\r |
| 2 | OVMF Platform definitions\r |
| 3 | \r |
| 4 | Copyright (C) 2015, Red Hat, Inc.\r |
| 5 | Copyright (c) 2014, Gabriel L. Somlo <somlo@cmu.edu>\r |
| 6 | \r |
| 7 | This program and the accompanying materials are licensed and made\r |
| 8 | available under the terms and conditions of the BSD License which\r |
| 9 | accompanies this distribution. The full text of the license may\r |
| 10 | be found at http://opensource.org/licenses/bsd-license.php\r |
| 11 | \r |
| 12 | THE PROGRAM IS DISTRIBUTED UNDER THE BSD LICENSE ON AN "AS IS" BASIS,\r |
| 13 | WITHOUT WARRANTIES OR REPRESENTATIONS OF ANY KIND, EITHER EXPRESS OR IMPLIED.\r |
| 14 | **/\r |
| 15 | \r |
| 16 | #ifndef __OVMF_PLATFORMS_H__\r |
| 17 | #define __OVMF_PLATFORMS_H__\r |
| 18 | \r |
| 19 | #include <Library/PciLib.h>\r |
| 20 | #include <IndustryStandard/Pci22.h>\r |
| 21 | #include <IndustryStandard/Q35MchIch9.h>\r |
| 22 | #include <IndustryStandard/I440FxPiix4.h>\r |
| 23 | \r |
| 24 | //\r |
| 25 | // OVMF Host Bridge DID Address\r |
| 26 | //\r |
| 27 | #define OVMF_HOSTBRIDGE_DID \\r |
| 28 | PCI_LIB_ADDRESS (0, 0, 0, PCI_DEVICE_ID_OFFSET)\r |
| 29 | \r |
| 30 | #endif\r |