| 1 | /** @file
|
|---|
| 2 | OVMF Platform definitions
|
|---|
| 3 |
|
|---|
| 4 | Copyright (C) 2015, Red Hat, Inc.
|
|---|
| 5 | Copyright (c) 2014, Gabriel L. Somlo <[email protected]>
|
|---|
| 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 | // Values we program into the PM base address registers
|
|---|
| 32 | //
|
|---|
| 33 | #define PIIX4_PMBA_VALUE 0xB000
|
|---|
| 34 | #define ICH9_PMBASE_VALUE 0x0600
|
|---|
| 35 |
|
|---|
| 36 | //
|
|---|
| 37 | // Common bits in same-purpose registers
|
|---|
| 38 | //
|
|---|
| 39 | #define PMBA_RTE BIT0
|
|---|
| 40 |
|
|---|
| 41 | //
|
|---|
| 42 | // Common IO ports relative to the Power Management Base Address
|
|---|
| 43 | //
|
|---|
| 44 | #define ACPI_TIMER_OFFSET 0x8
|
|---|
| 45 |
|
|---|
| 46 | #endif
|
|---|
