| /* | 
 |  * x86 variant of the generic event device for hw reduced acpi | 
 |  * | 
 |  * This program is free software; you can redistribute it and/or modify it | 
 |  * under the terms and conditions of the GNU General Public License, | 
 |  * version 2 or later, as published by the Free Software Foundation. | 
 |  */ | 
 |  | 
 | #include "qemu/osdep.h" | 
 | #include "hw/acpi/generic_event_device.h" | 
 | #include "hw/i386/pc.h" | 
 |  | 
 | static void acpi_ged_x86_class_init(ObjectClass *class, void *data) | 
 | { | 
 |     AcpiDeviceIfClass *adevc = ACPI_DEVICE_IF_CLASS(class); | 
 |  | 
 |     adevc->madt_cpu = pc_madt_cpu_entry; | 
 | } | 
 |  | 
 | static const TypeInfo acpi_ged_x86_info = { | 
 |     .name          = TYPE_ACPI_GED_X86, | 
 |     .parent        = TYPE_ACPI_GED, | 
 |     .class_init    = acpi_ged_x86_class_init, | 
 |     .interfaces = (InterfaceInfo[]) { | 
 |         { TYPE_HOTPLUG_HANDLER }, | 
 |         { TYPE_ACPI_DEVICE_IF }, | 
 |         { } | 
 |     } | 
 | }; | 
 |  | 
 | static void acpi_ged_x86_register_types(void) | 
 | { | 
 |     type_register_static(&acpi_ged_x86_info); | 
 | } | 
 |  | 
 | type_init(acpi_ged_x86_register_types) |