OvmfPkg/Include/IndustryStandard/I440FxPiix4.h

   1 /** @file
   2   Various register numbers and value bits based on the following publications:
   3   - Intel(R) datasheet 290549-001
   4   - Intel(R) datasheet 290562-001
   5   - Intel(R) datasheet 297654-006
   6   - Intel(R) datasheet 297738-017
   7
   8   Copyright (C) 2015, Red Hat, Inc.
   9   Copyright (c) 2014, Gabriel L. Somlo <somlo@cmu.edu>
  10
  11   This program and the accompanying materials are licensed and made available
  12   under the terms and conditions of the BSD License which accompanies this
  13   distribution.   The full text of the license may be found at
  14   http://opensource.org/licenses/bsd-license.php
  15
  16   THE PROGRAM IS DISTRIBUTED UNDER THE BSD LICENSE ON AN "AS IS" BASIS, WITHOUT
  17   WARRANTIES OR REPRESENTATIONS OF ANY KIND, EITHER EXPRESS OR IMPLIED.
  18 **/
  19
  20 #ifndef __I440FX_PIIX4_H__
  21 #define __I440FX_PIIX4_H__
  22
  23 #include <Library/PciLib.h>
  24
  25 //
  26 // Host Bridge Device ID (DID) value for I440FX
  27 //
  28 #define INTEL_82441_DEVICE_ID 0x1237
  29
  30 //
  31 // B/D/F/Type: 0/1/3/PCI
  32 //
  33 #define POWER_MGMT_REGISTER_PIIX4(Offset) PCI_LIB_ADDRESS (0, 1, 3, (Offset))
  34
  35 #define PIIX4_PMBA             0x40
  36
  37 #define PIIX4_PMREGMISC        0x80
  38 #define PIIX4_PMREGMISC_PMIOSE   BIT0
  39
  40 #endif