|
1
|
/* SPDX-License-Identifier: GPL-2.0-or-later */ |
|
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 |