1 /** @file
2   OVMF Platform definitions
3 
4   Copyright (C) 2015, Red Hat, Inc.
5   Copyright (c) 2014, Gabriel L. Somlo <somlo@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