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
41