7  * See the COPYING file in the top-level directory.
12 #include "hw/acpi/aml-build.h"
24     switch (info->memspace) {  in aml_ipmi_crs()
26         aml_append(crs, aml_io(AML_DECODE16, info->base_address,  in aml_ipmi_crs()
27                                info->base_address + info->register_length - 1,  in aml_ipmi_crs()
28                                info->register_spacing, info->register_length));  in aml_ipmi_crs()
36                             info->base_address,  in aml_ipmi_crs()
37                             info->base_address + info->register_length - 1,  in aml_ipmi_crs()
38                             info->register_spacing, info->register_length));  in aml_ipmi_crs()
46                             info->base_address,  in aml_ipmi_crs()
47                             info->base_address + info->register_length - 1,  in aml_ipmi_crs()
48                             info->register_spacing, info->register_length));  in aml_ipmi_crs()
51         aml_append(crs, aml_i2c_serial_bus_device(info->base_address,  in aml_ipmi_crs()
59     if (info->irq_source == IPMI_ISA_IRQ && info->interrupt_number) {  in aml_ipmi_crs()
60         aml_append(crs, aml_irq_no_flags(info->interrupt_number));  in aml_ipmi_crs()
68     Aml *dev;  in build_ipmi_dev_aml()  local
74     iic->get_fwinfo(ii, &info);  in build_ipmi_dev_aml()
79     dev = aml_device("MI%d", info.uuid);  in build_ipmi_dev_aml()
80     aml_append(dev, aml_name_decl("_HID", aml_eisaid("IPI0001")));  in build_ipmi_dev_aml()
81     aml_append(dev, aml_name_decl("_STR", aml_string("ipmi_%s",  in build_ipmi_dev_aml()
83     aml_append(dev, aml_name_decl("_UID", aml_int(info.uuid)));  in build_ipmi_dev_aml()
84     aml_append(dev, aml_name_decl("_CRS", aml_ipmi_crs(&info)));  in build_ipmi_dev_aml()
85     aml_append(dev, aml_name_decl("_IFT", aml_int(info.interface_type)));  in build_ipmi_dev_aml()
86     aml_append(dev, aml_name_decl("_SRV", aml_int(version)));  in build_ipmi_dev_aml()
88     aml_append(scope, dev);  in build_ipmi_dev_aml()