2024-09-11 17:12:05 +02:00
|
|
|
/* SPDX-License-Identifier: GPL-2.0-or-later */
|
2023-12-18 20:32:35 +05:30
|
|
|
/*
|
|
|
|
* 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
|