static void spapr_machine_2_6_class_options(MachineClass *mc)

{

    sPAPRMachineClass *smc = SPAPR_MACHINE_CLASS(mc);



    spapr_machine_2_7_class_options(mc);

    smc->dr_cpu_enabled = false;

    SET_MACHINE_COMPAT(mc, SPAPR_COMPAT_2_6);

}

static void spapr_machine_2_6_class_options(MachineClass *mc)

{

    sPAPRMachineClass *smc = SPAPR_MACHINE_CLASS(mc);



    spapr_machine_2_7_class_options(mc);

    smc->dr_cpu_enabled = false;

    SET_MACHINE_COMPAT(mc, SPAPR_COMPAT_2_6);

}

    sPAPRMachineClass *smc = SPAPR_MACHINE_CLASS(mc);     smc->dr_cpu_enabled = false;
static void FUNC_0(MachineClass *VAR_0)

{

    sPAPRMachineClass *smc = SPAPR_MACHINE_CLASS(VAR_0);



    spapr_machine_2_7_class_options(VAR_0);

    smc->dr_cpu_enabled = false;

    SET_MACHINE_COMPAT(VAR_0, SPAPR_COMPAT_2_6);

}

static void FUNC_0(MachineClass *VAR_0)
{ sPAPRMachineClass *smc = SPAPR_MACHINE_CLASS(VAR_0); spapr_machine_2_7_class_options(VAR_0); smc->dr_cpu_enabled = false; SET_MACHINE_COMPAT(VAR_0, SPAPR_COMPAT_2_6); }