On 22/10/2018 20:36, Samuel Ortiz wrote: > +static void acpi_conf_pc_init(MachineState *machine)
This should take a PCMachineState*, since you never use "machine" except for downcasting. Paolo > +{ > + PCMachineState *pcms = PC_MACHINE(machine); > + PCMachineClass *pcmc = PC_MACHINE_GET_CLASS(machine); > + AcpiConfiguration *conf = &pcms->acpi_configuration; > + > + /* Machine class settings */ > + conf->legacy_acpi_table_size = pcmc->legacy_acpi_table_size; > + conf->legacy_cpu_hotplug = pcmc->legacy_cpu_hotplug; > + conf->rsdp_in_ram = pcmc->rsdp_in_ram; > + > + /* ACPI build state */ > + conf->build_state = NULL; > +} > +