2 * IPMI ACPI firmware handling
4 * Copyright (c) 2015,2016 Corey Minyard, MontaVista Software, LLC
6 * This work is licensed under the terms of the GNU GPL, version 2 or later.
7 * See the COPYING file in the top-level directory.
10 #include "qemu/osdep.h"
11 #include "hw/acpi/ipmi.h"
13 void build_ipmi_dev_aml(AcpiDevAmlIf
*adev
, Aml
*scope
)