1 /* 2 * IPMI ACPI firmware handling 3 * 4 * Copyright (c) 2015,2016 Corey Minyard, MontaVista Software, LLC 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 10 #include "qemu/osdep.h" 11 #include "hw/acpi/ipmi.h" 12 13 void build_acpi_ipmi_devices(Aml *table, BusState *bus, const char *resource) 14 { 15 } 16