1 /* SPDX-License-Identifier: GPL-2.0+ */ 2 /* 3 * ACPI support for fw_cfg 4 * 5 */ 6 7 #ifndef FW_CFG_ACPI_H 8 #define FW_CFG_ACPI_H 9 10 #include "exec/hwaddr.h" 11 12 void fw_cfg_acpi_dsdt_add(Aml *scope, const MemMapEntry *fw_cfg_memmap); 13 14 #endif 15