|
@@ -567,10 +567,10 @@ DEFINE_I440FX_MACHINE(v2_6, "pc-i440fx-2.6", NULL,
|
|
|
|
|
|
static void pc_i440fx_2_5_machine_options(MachineClass *m)
|
|
|
{
|
|
|
- PCMachineClass *pcmc = PC_MACHINE_CLASS(m);
|
|
|
+ X86MachineClass *x86mc = X86_MACHINE_CLASS(m);
|
|
|
|
|
|
pc_i440fx_2_6_machine_options(m);
|
|
|
- pcmc->save_tsc_khz = false;
|
|
|
+ x86mc->save_tsc_khz = false;
|
|
|
m->legacy_fw_cfg_order = 1;
|
|
|
compat_props_add(m->compat_props, hw_compat_2_5, hw_compat_2_5_len);
|
|
|
compat_props_add(m->compat_props, pc_compat_2_5, pc_compat_2_5_len);
|