OvmfPkg/Include/OvmfPlatforms.h

   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