include/hw/acpi/ipmi.h

   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 */