/* SPDX-License-Identifier: GPL-2.0-or-later */ /* * ACPI support for fw_cfg * */ #ifndef FW_CFG_ACPI_H #define FW_CFG_ACPI_H #include "exec/hwaddr.h" void fw_cfg_acpi_dsdt_add(Aml *scope, const MemMapEntry *fw_cfg_memmap); #endif