1 /* 2 * QEMU IPMI ACPI handling 3 * 4 * Copyright (c) 2015,2016 Corey Minyard <cminyard@mvista.com> 5 * 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. 8 */ 9 #ifndef HW_ACPI_IPMI_H 10 #define HW_ACPI_IPMI_H 11 12 #include "qemu/osdep.h" 13 #include "hw/acpi/aml-build.h" 14 15 /* 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. 19 */ 20 void build_acpi_ipmi_devices(Aml *table, BusState *bus); 21 22 #endif /* HW_ACPI_IPMI_H */ 23