]>
Commit | Line | Data |
---|---|---|
86e91dd7 CM |
1 | /* |
2 | * QEMU IPMI ACPI handling | |
3 | * | |
4 | * Copyright (c) 2015,2016 Corey Minyard <[email protected]> | |
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 */ |