blob: c38483565c6e4e96d2df0521806697cf4ca4ce67 [file] [log] [blame]
/*
* QEMU IPMI ACPI handling
*
* Copyright (c) 2015,2016 Corey Minyard <cminyard@mvista.com>
*
* This work is licensed under the terms of the GNU GPL, version 2 or later.
* See the COPYING file in the top-level directory.
*/
#ifndef HW_ACPI_IPMI_H
#define HW_ACPI_IPMI_H
#include "hw/acpi/aml-build.h"
/*
* Add ACPI IPMI entries for all registered IPMI devices whose parent
* bus matches the given bus. The resource is the ACPI resource that
* contains the IPMI device, this is required for the I2C CRS.
*/
void build_acpi_ipmi_devices(Aml *table, BusState *bus);
#endif /* HW_ACPI_IPMI_H */