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