2 * QEMU IPMI ACPI handling
4 * Copyright (c) 2015,2016 Corey Minyard <cminyard@mvista.com>
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 #define HW_ACPI_IPMI_H
12 #include "qemu/osdep.h"
13 #include "hw/acpi/aml-build.h"
16 * Add ACPI IPMI entries for all registered IPMI devices whose parent
17 * bus matches the given bus. The resource is the ACPI resource that
18 * contains the IPMI device, this is required for the I2C CRS.
20 void build_acpi_ipmi_devices(Aml
*table
, BusState
*bus
);
22 #endif /* HW_ACPI_IPMI_H */