76     MachineClass *mc = MACHINE_GET_CLASS(machine);  in s390_init_cpus()  local
258     MachineClass *mc = MACHINE_GET_CLASS(machine);  in ccw_init()  local
569     MachineClass *mc = MACHINE_GET_CLASS(ms);  in s390_cpu_index_to_props()  local
746     MachineClass *mc = MACHINE_CLASS(oc);  in ccw_machine_class_init()  local
867 static void ccw_machine_9_2_class_options(MachineClass *mc)  in ccw_machine_9_2_class_options()
877 static void ccw_machine_9_1_class_options(MachineClass *mc)  in ccw_machine_9_1_class_options()
889 static void ccw_machine_9_0_class_options(MachineClass *mc)  in ccw_machine_9_0_class_options()
906 static void ccw_machine_8_2_class_options(MachineClass *mc)  in ccw_machine_8_2_class_options()
918 static void ccw_machine_8_1_class_options(MachineClass *mc)  in ccw_machine_8_1_class_options()
932 static void ccw_machine_8_0_class_options(MachineClass *mc)  in ccw_machine_8_0_class_options()
944 static void ccw_machine_7_2_class_options(MachineClass *mc)  in ccw_machine_7_2_class_options()
960 static void ccw_machine_7_1_class_options(MachineClass *mc)  in ccw_machine_7_1_class_options()
983 static void ccw_machine_7_0_class_options(MachineClass *mc)  in ccw_machine_7_0_class_options()
998 static void ccw_machine_6_2_class_options(MachineClass *mc)  in ccw_machine_6_2_class_options()
1015 static void ccw_machine_6_1_class_options(MachineClass *mc)  in ccw_machine_6_1_class_options()
1031 static void ccw_machine_6_0_class_options(MachineClass *mc)  in ccw_machine_6_0_class_options()
1043 static void ccw_machine_5_2_class_options(MachineClass *mc)  in ccw_machine_5_2_class_options()
1055 static void ccw_machine_5_1_class_options(MachineClass *mc)  in ccw_machine_5_1_class_options()
1067 static void ccw_machine_5_0_class_options(MachineClass *mc)  in ccw_machine_5_0_class_options()
1079 static void ccw_machine_4_2_class_options(MachineClass *mc)  in ccw_machine_4_2_class_options()
1094 static void ccw_machine_4_1_class_options(MachineClass *mc)  in ccw_machine_4_1_class_options()
1108 static void ccw_machine_4_0_class_options(MachineClass *mc)  in ccw_machine_4_0_class_options()
1124 static void ccw_machine_3_1_class_options(MachineClass *mc)  in ccw_machine_3_1_class_options()
1136 static void ccw_machine_3_0_class_options(MachineClass *mc)  in ccw_machine_3_0_class_options()
1153 static void ccw_machine_2_12_class_options(MachineClass *mc)  in ccw_machine_2_12_class_options()
1171 static void ccw_machine_2_11_class_options(MachineClass *mc)  in ccw_machine_2_11_class_options()
1188 static void ccw_machine_2_10_class_options(MachineClass *mc)  in ccw_machine_2_10_class_options()
1206 static void ccw_machine_2_9_class_options(MachineClass *mc)  in ccw_machine_2_9_class_options()
1224 static void ccw_machine_2_8_class_options(MachineClass *mc)  in ccw_machine_2_8_class_options()
1241 static void ccw_machine_2_7_class_options(MachineClass *mc)  in ccw_machine_2_7_class_options()
1256 static void ccw_machine_2_6_class_options(MachineClass *mc)  in ccw_machine_2_6_class_options()
1276 static void ccw_machine_2_5_class_options(MachineClass *mc)  in ccw_machine_2_5_class_options()
1288 static void ccw_machine_2_4_class_options(MachineClass *mc)  in ccw_machine_2_4_class_options()