static void ccw_machine_2_9_class_options(MachineClass *mc)

{

    S390CcwMachineClass *s390mc = S390_MACHINE_CLASS(mc);



    s390mc->gs_allowed = false;

    ccw_machine_2_10_class_options(mc);

    SET_MACHINE_COMPAT(mc, CCW_COMPAT_2_9);

    s390mc->css_migration_enabled = false;

}

static void ccw_machine_2_9_class_options(MachineClass *mc)

{

    S390CcwMachineClass *s390mc = S390_MACHINE_CLASS(mc);



    s390mc->gs_allowed = false;

    ccw_machine_2_10_class_options(mc);

    SET_MACHINE_COMPAT(mc, CCW_COMPAT_2_9);

    s390mc->css_migration_enabled = false;

}

    s390mc->gs_allowed = false;
static void FUNC_0(MachineClass *VAR_0)

{

    S390CcwMachineClass *s390mc = S390_MACHINE_CLASS(VAR_0);



    s390mc->gs_allowed = false;

    ccw_machine_2_10_class_options(VAR_0);

    SET_MACHINE_COMPAT(VAR_0, CCW_COMPAT_2_9);

    s390mc->css_migration_enabled = false;

}

static void FUNC_0(MachineClass *VAR_0)
{ S390CcwMachineClass *s390mc = S390_MACHINE_CLASS(VAR_0); s390mc->gs_allowed = false; ccw_machine_2_10_class_options(VAR_0); SET_MACHINE_COMPAT(VAR_0, CCW_COMPAT_2_9); s390mc->css_migration_enabled = false; }