| /* |
| * Support for generating PCI related ACPI tables and passing them to Guests |
| * |
| * Copyright (C) 2006 Fabrice Bellard |
| * Copyright (C) 2008-2010 Kevin O'Connor <kevin@koconnor.net> |
| * Copyright (C) 2013-2019 Red Hat Inc |
| * Copyright (C) 2019 Intel Corporation |
| * |
| * Author: Wei Yang <richardw.yang@linux.intel.com> |
| * Author: Michael S. Tsirkin <mst@redhat.com> |
| * |
| * This program is free software; you can redistribute it and/or modify |
| * it under the terms of the GNU General Public License as published by |
| * the Free Software Foundation; either version 2 of the License, or |
| * (at your option) any later version. |
| |
| * This program is distributed in the hope that it will be useful, |
| * but WITHOUT ANY WARRANTY; without even the implied warranty of |
| * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the |
| * GNU General Public License for more details. |
| |
| * You should have received a copy of the GNU General Public License along |
| * with this program; if not, see <http://www.gnu.org/licenses/>. |
| */ |
| |
| #ifndef HW_ACPI_PCI_H |
| #define HW_ACPI_PCI_H |
| |
| #include "hw/acpi/bios-linker-loader.h" |
| |
| typedef struct AcpiMcfgInfo { |
| uint64_t base; |
| uint32_t size; |
| } AcpiMcfgInfo; |
| |
| void build_mcfg(GArray *table_data, BIOSLinker *linker, AcpiMcfgInfo *info); |
| #endif |
