TianoCore EDK2 master
|
#include <Library/PciLib.h>
#include <IndustryStandard/Pci22.h>
#include <IndustryStandard/Q35MchIch9.h>
#include <IndustryStandard/I440FxPiix4.h>
#include <IndustryStandard/Bhyve.h>
#include <IndustryStandard/Microvm.h>
#include <IndustryStandard/CloudHv.h>
Go to the source code of this file.
Macros | |
#define | OVMF_HOSTBRIDGE_DID PCI_LIB_ADDRESS (0, 0, 0, PCI_DEVICE_ID_OFFSET) |
#define | PIIX4_PMBA_VALUE 0xB000 |
#define | ICH9_PMBASE_VALUE 0x0600 |
#define | PMBA_RTE BIT0 |
#define | ACPI_TIMER_OFFSET 0x8 |
OVMF Platform definitions
Copyright (C) 2015, Red Hat, Inc. Copyright (c) 2014, Gabriel L. Somlo somlo.nosp@m.@cmu.nosp@m..edu
SPDX-License-Identifier: BSD-2-Clause-Patent
Definition in file OvmfPlatforms.h.
#define ACPI_TIMER_OFFSET 0x8 |
Definition at line 41 of file OvmfPlatforms.h.
#define ICH9_PMBASE_VALUE 0x0600 |
Definition at line 31 of file OvmfPlatforms.h.
#define OVMF_HOSTBRIDGE_DID PCI_LIB_ADDRESS (0, 0, 0, PCI_DEVICE_ID_OFFSET) |
Definition at line 24 of file OvmfPlatforms.h.
#define PIIX4_PMBA_VALUE 0xB000 |
Definition at line 30 of file OvmfPlatforms.h.
#define PMBA_RTE BIT0 |
Definition at line 36 of file OvmfPlatforms.h.