4 * Copyright 2016 IBM Corp.
6 * Author(s): David Hildenbrand <dahi@linux.vnet.ibm.com>
8 * This work is licensed under the terms of the GNU GPL, version 2 or (at
9 * your option) any later version. See the COPYING file in the top-level
13 #include "qemu/osdep.h"
15 #include "gen-features.h"
16 #include "qapi/error.h"
17 #include "qapi/visitor.h"
18 #include "qemu/error-report.h"
19 #include "qapi/qmp/qerror.h"
20 #include "qapi/qobject-input-visitor.h"
21 #include "qapi/qmp/qbool.h"
22 #ifndef CONFIG_USER_ONLY
23 #include "sysemu/arch_init.h"
26 #define CPUDEF_INIT(_type, _gen, _ec_ga, _mha_pow, _hmfai, _name, _desc) \
32 .mha_pow = _mha_pow, \
35 .base_init = { S390_FEAT_LIST_GEN ## _gen ## _GA ## _ec_ga ## _BASE }, \
36 .default_init = { S390_FEAT_LIST_GEN ## _gen ## _GA ## _ec_ga ## _DEFAULT }, \
37 .full_init = { S390_FEAT_LIST_GEN ## _gen ## _GA ## _ec_ga ## _FULL }, \
41 * CPU definiton list in order of release. For now, base features of a
42 * following release are always a subset of base features of the previous
43 * release. Same is correct for the other feature sets.
44 * A BC release always follows the corresponding EC release.
46 static S390CPUDef s390_cpu_defs
[] = {
47 CPUDEF_INIT(0x2064, 7, 1, 38, 0x00000000U
, "z900", "IBM zSeries 900 GA1"),
48 CPUDEF_INIT(0x2064, 7, 2, 38, 0x00000000U
, "z900.2", "IBM zSeries 900 GA2"),
49 CPUDEF_INIT(0x2064, 7, 3, 38, 0x00000000U
, "z900.3", "IBM zSeries 900 GA3"),
50 CPUDEF_INIT(0x2066, 7, 3, 38, 0x00000000U
, "z800", "IBM zSeries 800 GA1"),
51 CPUDEF_INIT(0x2084, 8, 1, 38, 0x00000000U
, "z990", "IBM zSeries 990 GA1"),
52 CPUDEF_INIT(0x2084, 8, 2, 38, 0x00000000U
, "z990.2", "IBM zSeries 990 GA2"),
53 CPUDEF_INIT(0x2084, 8, 3, 38, 0x00000000U
, "z990.3", "IBM zSeries 990 GA3"),
54 CPUDEF_INIT(0x2086, 8, 3, 38, 0x00000000U
, "z890", "IBM zSeries 880 GA1"),
55 CPUDEF_INIT(0x2084, 8, 4, 38, 0x00000000U
, "z990.4", "IBM zSeries 990 GA4"),
56 CPUDEF_INIT(0x2086, 8, 4, 38, 0x00000000U
, "z890.2", "IBM zSeries 880 GA2"),
57 CPUDEF_INIT(0x2084, 8, 5, 38, 0x00000000U
, "z990.5", "IBM zSeries 990 GA5"),
58 CPUDEF_INIT(0x2086, 8, 5, 38, 0x00000000U
, "z890.3", "IBM zSeries 880 GA3"),
59 CPUDEF_INIT(0x2094, 9, 1, 40, 0x00000000U
, "z9EC", "IBM System z9 EC GA1"),
60 CPUDEF_INIT(0x2094, 9, 2, 40, 0x00000000U
, "z9EC.2", "IBM System z9 EC GA2"),
61 CPUDEF_INIT(0x2096, 9, 2, 40, 0x00000000U
, "z9BC", "IBM System z9 BC GA1"),
62 CPUDEF_INIT(0x2094, 9, 3, 40, 0x00000000U
, "z9EC.3", "IBM System z9 EC GA3"),
63 CPUDEF_INIT(0x2096, 9, 3, 40, 0x00000000U
, "z9BC.2", "IBM System z9 BC GA2"),
64 CPUDEF_INIT(0x2097, 10, 1, 43, 0x00000000U
, "z10EC", "IBM System z10 EC GA1"),
65 CPUDEF_INIT(0x2097, 10, 2, 43, 0x00000000U
, "z10EC.2", "IBM System z10 EC GA2"),
66 CPUDEF_INIT(0x2098, 10, 2, 43, 0x00000000U
, "z10BC", "IBM System z10 BC GA1"),
67 CPUDEF_INIT(0x2097, 10, 3, 43, 0x00000000U
, "z10EC.3", "IBM System z10 EC GA3"),
68 CPUDEF_INIT(0x2098, 10, 3, 43, 0x00000000U
, "z10BC.2", "IBM System z10 BC GA2"),
69 CPUDEF_INIT(0x2817, 11, 1, 44, 0x08000000U
, "z196", "IBM zEnterprise 196 GA1"),
70 CPUDEF_INIT(0x2817, 11, 2, 44, 0x08000000U
, "z196.2", "IBM zEnterprise 196 GA2"),
71 CPUDEF_INIT(0x2818, 11, 2, 44, 0x08000000U
, "z114", "IBM zEnterprise 114 GA1"),
72 CPUDEF_INIT(0x2827, 12, 1, 44, 0x08000000U
, "zEC12", "IBM zEnterprise EC12 GA1"),
73 CPUDEF_INIT(0x2827, 12, 2, 44, 0x08000000U
, "zEC12.2", "IBM zEnterprise EC12 GA2"),
74 CPUDEF_INIT(0x2828, 12, 2, 44, 0x08000000U
, "zBC12", "IBM zEnterprise BC12 GA1"),
75 CPUDEF_INIT(0x2964, 13, 1, 47, 0x08000000U
, "z13", "IBM z13 GA1"),
76 CPUDEF_INIT(0x2964, 13, 2, 47, 0x08000000U
, "z13.2", "IBM z13 GA2"),
77 CPUDEF_INIT(0x2965, 13, 2, 47, 0x08000000U
, "z13s", "IBM z13s GA1"),
80 uint32_t s390_get_hmfai(void)
85 cpu
= S390_CPU(qemu_get_cpu(0));
88 if (!cpu
|| !cpu
->model
) {
91 return cpu
->model
->def
->hmfai
;
94 uint8_t s390_get_mha_pow(void)
99 cpu
= S390_CPU(qemu_get_cpu(0));
102 if (!cpu
|| !cpu
->model
) {
105 return cpu
->model
->def
->mha_pow
;
108 uint32_t s390_get_ibc_val(void)
110 uint16_t unblocked_ibc
, lowest_ibc
;
114 cpu
= S390_CPU(qemu_get_cpu(0));
117 if (!cpu
|| !cpu
->model
) {
120 unblocked_ibc
= s390_ibc_from_cpu_model(cpu
->model
);
121 lowest_ibc
= cpu
->model
->lowest_ibc
;
122 /* the lowest_ibc always has to be <= unblocked_ibc */
123 if (!lowest_ibc
|| lowest_ibc
> unblocked_ibc
) {
126 return ((uint32_t) lowest_ibc
<< 16) | unblocked_ibc
;
129 void s390_get_feat_block(S390FeatType type
, uint8_t *data
)
134 cpu
= S390_CPU(qemu_get_cpu(0));
137 if (!cpu
|| !cpu
->model
) {
140 s390_fill_feat_block(cpu
->model
->features
, type
, data
);
143 bool s390_has_feat(S390Feat feat
)
148 cpu
= S390_CPU(qemu_get_cpu(0));
151 if (!cpu
|| !cpu
->model
) {
154 if (feat
== S390_FEAT_VECTOR
) {
155 return kvm_check_extension(kvm_state
,
156 KVM_CAP_S390_VECTOR_REGISTERS
);
158 if (feat
== S390_FEAT_RUNTIME_INSTRUMENTATION
) {
159 return kvm_s390_get_ri();
161 if (feat
== S390_FEAT_MSA_EXT_3
) {
168 return test_bit(feat
, cpu
->model
->features
);
171 uint8_t s390_get_gen_for_cpu_type(uint16_t type
)
175 for (i
= 0; i
< ARRAY_SIZE(s390_cpu_defs
); i
++) {
176 if (s390_cpu_defs
[i
].type
== type
) {
177 return s390_cpu_defs
[i
].gen
;
183 const S390CPUDef
*s390_find_cpu_def(uint16_t type
, uint8_t gen
, uint8_t ec_ga
,
184 S390FeatBitmap features
)
186 const S390CPUDef
*last_compatible
= NULL
;
187 const S390CPUDef
*matching_cpu_type
= NULL
;
194 gen
= s390_get_gen_for_cpu_type(type
);
197 for (i
= 0; i
< ARRAY_SIZE(s390_cpu_defs
); i
++) {
198 const S390CPUDef
*def
= &s390_cpu_defs
[i
];
199 S390FeatBitmap missing
;
201 /* don't even try newer generations if we know the generation */
203 if (def
->gen
> gen
) {
205 } else if (def
->gen
== gen
&& ec_ga
&& def
->ec_ga
> ec_ga
) {
211 /* see if the model satisfies the minimum features */
212 bitmap_andnot(missing
, def
->base_feat
, features
, S390_FEAT_MAX
);
213 if (!bitmap_empty(missing
, S390_FEAT_MAX
)) {
218 /* stop the search if we found the exact model */
219 if (def
->type
== type
&& def
->ec_ga
== ec_ga
) {
222 /* remember if we've at least seen one with the same cpu type */
223 if (def
->type
== type
) {
224 matching_cpu_type
= def
;
226 last_compatible
= def
;
228 /* prefer the model with the same cpu type, esp. don't take the BC for EC */
229 if (matching_cpu_type
) {
230 return matching_cpu_type
;
232 return last_compatible
;
235 struct S390PrintCpuListInfo
{
237 fprintf_function print
;
240 static void print_cpu_model_list(ObjectClass
*klass
, void *opaque
)
242 struct S390PrintCpuListInfo
*info
= opaque
;
243 S390CPUClass
*scc
= S390_CPU_CLASS(klass
);
244 char *name
= g_strdup(object_class_get_name(klass
));
245 const char *details
= "";
247 if (scc
->is_static
) {
248 details
= "(static, migration-safe)";
249 } else if (scc
->is_migration_safe
) {
250 details
= "(migration-safe)";
253 /* strip off the -s390-cpu */
254 g_strrstr(name
, "-" TYPE_S390_CPU
)[0] = 0;
255 (*info
->print
)(info
->f
, "s390 %-15s %-35s %s\n", name
, scc
->desc
,
260 void s390_cpu_list(FILE *f
, fprintf_function print
)
262 struct S390PrintCpuListInfo info
= {
269 object_class_foreach(print_cpu_model_list
, TYPE_S390_CPU
, false, &info
);
271 (*print
)(f
, "\nRecognized feature flags:\n");
272 for (feat
= 0; feat
< S390_FEAT_MAX
; feat
++) {
273 const S390FeatDef
*def
= s390_feat_def(feat
);
275 (*print
)(f
, "%-20s %-50s\n", def
->name
, def
->desc
);
278 (*print
)(f
, "\nRecognized feature groups:\n");
279 for (group
= 0; group
< S390_FEAT_GROUP_MAX
; group
++) {
280 const S390FeatGroupDef
*def
= s390_feat_group_def(group
);
282 (*print
)(f
, "%-20s %-50s\n", def
->name
, def
->desc
);
286 #ifndef CONFIG_USER_ONLY
287 static void create_cpu_model_list(ObjectClass
*klass
, void *opaque
)
289 CpuDefinitionInfoList
**cpu_list
= opaque
;
290 CpuDefinitionInfoList
*entry
;
291 CpuDefinitionInfo
*info
;
292 char *name
= g_strdup(object_class_get_name(klass
));
293 S390CPUClass
*scc
= S390_CPU_CLASS(klass
);
295 /* strip off the -s390-cpu */
296 g_strrstr(name
, "-" TYPE_S390_CPU
)[0] = 0;
297 info
= g_malloc0(sizeof(*info
));
299 info
->has_migration_safe
= true;
300 info
->migration_safe
= scc
->is_migration_safe
;
301 info
->q_static
= scc
->is_static
;
302 info
->q_typename
= g_strdup(object_class_get_name(klass
));
305 entry
= g_malloc0(sizeof(*entry
));
307 entry
->next
= *cpu_list
;
311 CpuDefinitionInfoList
*arch_query_cpu_definitions(Error
**errp
)
313 CpuDefinitionInfoList
*list
= NULL
;
315 object_class_foreach(create_cpu_model_list
, TYPE_S390_CPU
, false, &list
);
320 static void cpu_model_from_info(S390CPUModel
*model
, const CpuModelInfo
*info
,
323 const QDict
*qdict
= NULL
;
331 qdict
= qobject_to_qdict(info
->props
);
333 error_setg(errp
, QERR_INVALID_PARAMETER_TYPE
, "props", "dict");
338 oc
= cpu_class_by_name(TYPE_S390_CPU
, info
->name
);
340 error_setg(errp
, "The CPU definition \'%s\' is unknown.", info
->name
);
343 if (S390_CPU_CLASS(oc
)->kvm_required
&& !kvm_enabled()) {
344 error_setg(errp
, "The CPU definition '%s' requires KVM", info
->name
);
347 obj
= object_new(object_class_get_name(oc
));
351 error_setg(errp
, "Details about the host CPU model are not available, "
352 "it cannot be used.");
358 visitor
= qobject_input_visitor_new(info
->props
);
359 visit_start_struct(visitor
, NULL
, NULL
, 0, errp
);
364 for (e
= qdict_first(qdict
); e
; e
= qdict_next(qdict
, e
)) {
365 object_property_set(obj
, visitor
, e
->key
, errp
);
371 visit_check_struct(visitor
, errp
);
373 visit_end_struct(visitor
, NULL
);
381 /* copy the model and throw the cpu away */
382 memcpy(model
, cpu
->model
, sizeof(*model
));
386 static void qdict_add_disabled_feat(const char *name
, void *opaque
)
388 qdict_put_bool(opaque
, name
, false);
391 static void qdict_add_enabled_feat(const char *name
, void *opaque
)
393 qdict_put_bool(opaque
, name
, true);
396 /* convert S390CPUDef into a static CpuModelInfo */
397 static void cpu_info_from_model(CpuModelInfo
*info
, const S390CPUModel
*model
,
400 QDict
*qdict
= qdict_new();
401 S390FeatBitmap bitmap
;
403 /* always fallback to the static base model */
404 info
->name
= g_strdup_printf("%s-base", model
->def
->name
);
407 /* features deleted from the base feature set */
408 bitmap_andnot(bitmap
, model
->def
->base_feat
, model
->features
,
410 if (!bitmap_empty(bitmap
, S390_FEAT_MAX
)) {
411 s390_feat_bitmap_to_ascii(bitmap
, qdict
, qdict_add_disabled_feat
);
414 /* features added to the base feature set */
415 bitmap_andnot(bitmap
, model
->features
, model
->def
->base_feat
,
417 if (!bitmap_empty(bitmap
, S390_FEAT_MAX
)) {
418 s390_feat_bitmap_to_ascii(bitmap
, qdict
, qdict_add_enabled_feat
);
421 /* expand all features */
422 s390_feat_bitmap_to_ascii(model
->features
, qdict
,
423 qdict_add_enabled_feat
);
424 bitmap_complement(bitmap
, model
->features
, S390_FEAT_MAX
);
425 s390_feat_bitmap_to_ascii(bitmap
, qdict
, qdict_add_disabled_feat
);
428 if (!qdict_size(qdict
)) {
431 info
->props
= QOBJECT(qdict
);
432 info
->has_props
= true;
436 CpuModelExpansionInfo
*arch_query_cpu_model_expansion(CpuModelExpansionType type
,
440 CpuModelExpansionInfo
*expansion_info
= NULL
;
441 S390CPUModel s390_model
;
442 bool delta_changes
= false;
444 /* convert it to our internal representation */
445 cpu_model_from_info(&s390_model
, model
, errp
);
450 if (type
== CPU_MODEL_EXPANSION_TYPE_STATIC
) {
451 delta_changes
= true;
452 } else if (type
!= CPU_MODEL_EXPANSION_TYPE_FULL
) {
453 error_setg(errp
, "The requested expansion type is not supported.");
457 /* convert it back to a static representation */
458 expansion_info
= g_malloc0(sizeof(*expansion_info
));
459 expansion_info
->model
= g_malloc0(sizeof(*expansion_info
->model
));
460 cpu_info_from_model(expansion_info
->model
, &s390_model
, delta_changes
);
461 return expansion_info
;
464 static void list_add_feat(const char *name
, void *opaque
)
466 strList
**last
= (strList
**) opaque
;
469 entry
= g_malloc0(sizeof(*entry
));
470 entry
->value
= g_strdup(name
);
475 CpuModelCompareInfo
*arch_query_cpu_model_comparison(CpuModelInfo
*infoa
,
479 CpuModelCompareResult feat_result
, gen_result
;
480 CpuModelCompareInfo
*compare_info
;
481 S390FeatBitmap missing
, added
;
482 S390CPUModel modela
, modelb
;
484 /* convert both models to our internal representation */
485 cpu_model_from_info(&modela
, infoa
, errp
);
489 cpu_model_from_info(&modelb
, infob
, errp
);
493 compare_info
= g_malloc0(sizeof(*compare_info
));
495 /* check the cpu generation and ga level */
496 if (modela
.def
->gen
== modelb
.def
->gen
) {
497 if (modela
.def
->ec_ga
== modelb
.def
->ec_ga
) {
498 /* ec and corresponding bc are identical */
499 gen_result
= CPU_MODEL_COMPARE_RESULT_IDENTICAL
;
500 } else if (modela
.def
->ec_ga
< modelb
.def
->ec_ga
) {
501 gen_result
= CPU_MODEL_COMPARE_RESULT_SUBSET
;
503 gen_result
= CPU_MODEL_COMPARE_RESULT_SUPERSET
;
505 } else if (modela
.def
->gen
< modelb
.def
->gen
) {
506 gen_result
= CPU_MODEL_COMPARE_RESULT_SUBSET
;
508 gen_result
= CPU_MODEL_COMPARE_RESULT_SUPERSET
;
510 if (gen_result
!= CPU_MODEL_COMPARE_RESULT_IDENTICAL
) {
511 /* both models cannot be made identical */
512 list_add_feat("type", &compare_info
->responsible_properties
);
515 /* check the feature set */
516 if (bitmap_equal(modela
.features
, modelb
.features
, S390_FEAT_MAX
)) {
517 feat_result
= CPU_MODEL_COMPARE_RESULT_IDENTICAL
;
519 bitmap_andnot(missing
, modela
.features
, modelb
.features
, S390_FEAT_MAX
);
520 s390_feat_bitmap_to_ascii(missing
,
521 &compare_info
->responsible_properties
,
523 bitmap_andnot(added
, modelb
.features
, modela
.features
, S390_FEAT_MAX
);
524 s390_feat_bitmap_to_ascii(added
, &compare_info
->responsible_properties
,
526 if (bitmap_empty(missing
, S390_FEAT_MAX
)) {
527 feat_result
= CPU_MODEL_COMPARE_RESULT_SUBSET
;
528 } else if (bitmap_empty(added
, S390_FEAT_MAX
)) {
529 feat_result
= CPU_MODEL_COMPARE_RESULT_SUPERSET
;
531 feat_result
= CPU_MODEL_COMPARE_RESULT_INCOMPATIBLE
;
535 /* combine the results */
536 if (gen_result
== feat_result
) {
537 compare_info
->result
= gen_result
;
538 } else if (feat_result
== CPU_MODEL_COMPARE_RESULT_IDENTICAL
) {
539 compare_info
->result
= gen_result
;
540 } else if (gen_result
== CPU_MODEL_COMPARE_RESULT_IDENTICAL
) {
541 compare_info
->result
= feat_result
;
543 compare_info
->result
= CPU_MODEL_COMPARE_RESULT_INCOMPATIBLE
;
548 CpuModelBaselineInfo
*arch_query_cpu_model_baseline(CpuModelInfo
*infoa
,
552 CpuModelBaselineInfo
*baseline_info
;
553 S390CPUModel modela
, modelb
, model
;
558 /* convert both models to our internal representation */
559 cpu_model_from_info(&modela
, infoa
, errp
);
564 cpu_model_from_info(&modelb
, infob
, errp
);
569 /* features both models support */
570 bitmap_and(model
.features
, modela
.features
, modelb
.features
, S390_FEAT_MAX
);
572 /* detect the maximum model not regarding features */
573 if (modela
.def
->gen
== modelb
.def
->gen
) {
574 if (modela
.def
->type
== modelb
.def
->type
) {
575 cpu_type
= modela
.def
->type
;
579 max_gen
= modela
.def
->gen
;
580 max_gen_ga
= MIN(modela
.def
->ec_ga
, modelb
.def
->ec_ga
);
581 } else if (modela
.def
->gen
> modelb
.def
->gen
) {
582 cpu_type
= modelb
.def
->type
;
583 max_gen
= modelb
.def
->gen
;
584 max_gen_ga
= modelb
.def
->ec_ga
;
586 cpu_type
= modela
.def
->type
;
587 max_gen
= modela
.def
->gen
;
588 max_gen_ga
= modela
.def
->ec_ga
;
591 model
.def
= s390_find_cpu_def(cpu_type
, max_gen
, max_gen_ga
,
593 /* strip off features not part of the max model */
594 bitmap_and(model
.features
, model
.features
, model
.def
->full_feat
,
597 baseline_info
= g_malloc0(sizeof(*baseline_info
));
598 baseline_info
->model
= g_malloc0(sizeof(*baseline_info
->model
));
599 cpu_info_from_model(baseline_info
->model
, &model
, true);
600 return baseline_info
;
604 static void check_consistency(const S390CPUModel
*model
)
606 static int dep
[][2] = {
607 { S390_FEAT_IPTE_RANGE
, S390_FEAT_DAT_ENH
},
608 { S390_FEAT_IDTE_SEGMENT
, S390_FEAT_DAT_ENH
},
609 { S390_FEAT_IDTE_REGION
, S390_FEAT_DAT_ENH
},
610 { S390_FEAT_IDTE_REGION
, S390_FEAT_IDTE_SEGMENT
},
611 { S390_FEAT_LOCAL_TLB_CLEARING
, S390_FEAT_DAT_ENH
},
612 { S390_FEAT_LONG_DISPLACEMENT_FAST
, S390_FEAT_LONG_DISPLACEMENT
},
613 { S390_FEAT_DFP_FAST
, S390_FEAT_DFP
},
614 { S390_FEAT_TRANSACTIONAL_EXE
, S390_FEAT_STFLE_49
},
615 { S390_FEAT_EDAT_2
, S390_FEAT_EDAT
},
616 { S390_FEAT_MSA_EXT_5
, S390_FEAT_KIMD_SHA_512
},
617 { S390_FEAT_MSA_EXT_5
, S390_FEAT_KLMD_SHA_512
},
618 { S390_FEAT_MSA_EXT_4
, S390_FEAT_MSA_EXT_3
},
619 { S390_FEAT_SIE_CMMA
, S390_FEAT_CMM
},
620 { S390_FEAT_SIE_CMMA
, S390_FEAT_SIE_GSLS
},
621 { S390_FEAT_SIE_PFMFI
, S390_FEAT_EDAT
},
625 for (i
= 0; i
< ARRAY_SIZE(dep
); i
++) {
626 if (test_bit(dep
[i
][0], model
->features
) &&
627 !test_bit(dep
[i
][1], model
->features
)) {
628 error_report("Warning: \'%s\' requires \'%s\'.",
629 s390_feat_def(dep
[i
][0])->name
,
630 s390_feat_def(dep
[i
][1])->name
);
635 static void error_prepend_missing_feat(const char *name
, void *opaque
)
637 error_prepend((Error
**) opaque
, "%s ", name
);
640 static void check_compatibility(const S390CPUModel
*max_model
,
641 const S390CPUModel
*model
, Error
**errp
)
643 S390FeatBitmap missing
;
645 if (model
->def
->gen
> max_model
->def
->gen
) {
646 error_setg(errp
, "Selected CPU generation is too new. Maximum "
647 "supported model in the configuration: \'%s\'",
648 max_model
->def
->name
);
650 } else if (model
->def
->gen
== max_model
->def
->gen
&&
651 model
->def
->ec_ga
> max_model
->def
->ec_ga
) {
652 error_setg(errp
, "Selected CPU GA level is too new. Maximum "
653 "supported model in the configuration: \'%s\'",
654 max_model
->def
->name
);
658 /* detect the missing features to properly report them */
659 bitmap_andnot(missing
, model
->features
, max_model
->features
, S390_FEAT_MAX
);
660 if (bitmap_empty(missing
, S390_FEAT_MAX
)) {
664 error_setg(errp
, " ");
665 s390_feat_bitmap_to_ascii(missing
, errp
, error_prepend_missing_feat
);
666 error_prepend(errp
, "Some features requested in the CPU model are not "
667 "available in the configuration: ");
671 * The base TCG CPU model "qemu" is based on the z900. However, we already
672 * can also emulate some additional features of later CPU generations, so
673 * we add these additional feature bits here.
675 static void add_qemu_cpu_model_features(S390FeatBitmap fbm
)
677 static const int feats
[] = {
679 S390_FEAT_EXTENDED_IMMEDIATE
,
680 S390_FEAT_EXTENDED_TRANSLATION_2
,
681 S390_FEAT_LONG_DISPLACEMENT
,
682 S390_FEAT_LONG_DISPLACEMENT_FAST
,
684 S390_FEAT_STORE_CLOCK_FAST
,
685 S390_FEAT_MOVE_WITH_OPTIONAL_SPEC
,
686 S390_FEAT_GENERAL_INSTRUCTIONS_EXT
,
687 S390_FEAT_EXECUTE_EXT
,
692 for (i
= 0; i
< ARRAY_SIZE(feats
); i
++) {
693 set_bit(feats
[i
], fbm
);
697 static S390CPUModel
*get_max_cpu_model(Error
**errp
)
699 static S390CPUModel max_model
;
707 kvm_s390_get_host_cpu_model(&max_model
, errp
);
709 /* TCG emulates a z900 (with some optional additional features) */
710 max_model
.def
= &s390_cpu_defs
[0];
711 bitmap_copy(max_model
.features
, max_model
.def
->default_feat
,
713 add_qemu_cpu_model_features(max_model
.features
);
722 static inline void apply_cpu_model(const S390CPUModel
*model
, Error
**errp
)
724 #ifndef CONFIG_USER_ONLY
725 static S390CPUModel applied_model
;
729 * We have the same model for all VCPUs. KVM can only be configured before
730 * any VCPUs are defined in KVM.
733 if (model
&& memcmp(&applied_model
, model
, sizeof(S390CPUModel
))) {
734 error_setg(errp
, "Mixed CPU models are not supported on s390x.");
740 kvm_s390_apply_cpu_model(model
, errp
);
746 applied_model
= *model
;
752 void s390_realize_cpu_model(CPUState
*cs
, Error
**errp
)
754 S390CPUClass
*xcc
= S390_CPU_GET_CLASS(cs
);
755 S390CPU
*cpu
= S390_CPU(cs
);
756 const S390CPUModel
*max_model
;
758 if (xcc
->kvm_required
&& !kvm_enabled()) {
759 error_setg(errp
, "CPU definition requires KVM");
764 /* no host model support -> perform compatibility stuff */
765 apply_cpu_model(NULL
, errp
);
769 max_model
= get_max_cpu_model(errp
);
771 error_prepend(errp
, "CPU models are not available: ");
775 /* copy over properties that can vary */
776 cpu
->model
->lowest_ibc
= max_model
->lowest_ibc
;
777 cpu
->model
->cpu_id
= max_model
->cpu_id
;
778 cpu
->model
->cpu_id_format
= max_model
->cpu_id_format
;
779 cpu
->model
->cpu_ver
= max_model
->cpu_ver
;
781 check_consistency(cpu
->model
);
782 check_compatibility(max_model
, cpu
->model
, errp
);
787 apply_cpu_model(cpu
->model
, errp
);
789 cpu
->env
.cpuid
= s390_cpuid_from_cpu_model(cpu
->model
);
791 /* basic mode, write the cpu address into the first 4 bit of the ID */
792 cpu
->env
.cpuid
= deposit64(cpu
->env
.cpuid
, 54, 4, cpu
->env
.cpu_num
);
796 static void get_feature(Object
*obj
, Visitor
*v
, const char *name
,
797 void *opaque
, Error
**errp
)
799 S390Feat feat
= (S390Feat
) opaque
;
800 S390CPU
*cpu
= S390_CPU(obj
);
804 error_setg(errp
, "Details about the host CPU model are not available, "
805 "features cannot be queried.");
809 value
= test_bit(feat
, cpu
->model
->features
);
810 visit_type_bool(v
, name
, &value
, errp
);
813 static void set_feature(Object
*obj
, Visitor
*v
, const char *name
,
814 void *opaque
, Error
**errp
)
816 S390Feat feat
= (S390Feat
) opaque
;
817 DeviceState
*dev
= DEVICE(obj
);
818 S390CPU
*cpu
= S390_CPU(obj
);
822 error_setg(errp
, "Attempt to set property '%s' on '%s' after "
823 "it was realized", name
, object_get_typename(obj
));
825 } else if (!cpu
->model
) {
826 error_setg(errp
, "Details about the host CPU model are not available, "
827 "features cannot be changed.");
831 visit_type_bool(v
, name
, &value
, errp
);
836 if (!test_bit(feat
, cpu
->model
->def
->full_feat
)) {
837 error_setg(errp
, "Feature '%s' is not available for CPU model '%s',"
838 " it was introduced with later models.",
839 name
, cpu
->model
->def
->name
);
842 set_bit(feat
, cpu
->model
->features
);
844 clear_bit(feat
, cpu
->model
->features
);
848 static void get_feature_group(Object
*obj
, Visitor
*v
, const char *name
,
849 void *opaque
, Error
**errp
)
851 S390FeatGroup group
= (S390FeatGroup
) opaque
;
852 const S390FeatGroupDef
*def
= s390_feat_group_def(group
);
853 S390CPU
*cpu
= S390_CPU(obj
);
858 error_setg(errp
, "Details about the host CPU model are not available, "
859 "features cannot be queried.");
863 /* a group is enabled if all features are enabled */
864 bitmap_and(tmp
, cpu
->model
->features
, def
->feat
, S390_FEAT_MAX
);
865 value
= bitmap_equal(tmp
, def
->feat
, S390_FEAT_MAX
);
866 visit_type_bool(v
, name
, &value
, errp
);
869 static void set_feature_group(Object
*obj
, Visitor
*v
, const char *name
,
870 void *opaque
, Error
**errp
)
872 S390FeatGroup group
= (S390FeatGroup
) opaque
;
873 const S390FeatGroupDef
*def
= s390_feat_group_def(group
);
874 DeviceState
*dev
= DEVICE(obj
);
875 S390CPU
*cpu
= S390_CPU(obj
);
879 error_setg(errp
, "Attempt to set property '%s' on '%s' after "
880 "it was realized", name
, object_get_typename(obj
));
882 } else if (!cpu
->model
) {
883 error_setg(errp
, "Details about the host CPU model are not available, "
884 "features cannot be changed.");
888 visit_type_bool(v
, name
, &value
, errp
);
893 /* groups are added in one shot, so an intersect is sufficient */
894 if (!bitmap_intersects(def
->feat
, cpu
->model
->def
->full_feat
,
896 error_setg(errp
, "Group '%s' is not available for CPU model '%s',"
897 " it was introduced with later models.",
898 name
, cpu
->model
->def
->name
);
901 bitmap_or(cpu
->model
->features
, cpu
->model
->features
, def
->feat
,
904 bitmap_andnot(cpu
->model
->features
, cpu
->model
->features
, def
->feat
,
909 void s390_cpu_model_register_props(Object
*obj
)
914 for (feat
= 0; feat
< S390_FEAT_MAX
; feat
++) {
915 const S390FeatDef
*def
= s390_feat_def(feat
);
916 object_property_add(obj
, def
->name
, "bool", get_feature
,
917 set_feature
, NULL
, (void *) feat
, NULL
);
918 object_property_set_description(obj
, def
->name
, def
->desc
, NULL
);
920 for (group
= 0; group
< S390_FEAT_GROUP_MAX
; group
++) {
921 const S390FeatGroupDef
*def
= s390_feat_group_def(group
);
922 object_property_add(obj
, def
->name
, "bool", get_feature_group
,
923 set_feature_group
, NULL
, (void *) group
, NULL
);
924 object_property_set_description(obj
, def
->name
, def
->desc
, NULL
);
928 static void s390_cpu_model_initfn(Object
*obj
)
930 S390CPU
*cpu
= S390_CPU(obj
);
931 S390CPUClass
*xcc
= S390_CPU_GET_CLASS(cpu
);
933 cpu
->model
= g_malloc0(sizeof(*cpu
->model
));
934 /* copy the model, so we can modify it */
935 cpu
->model
->def
= xcc
->cpu_def
;
936 if (xcc
->is_static
) {
937 /* base model - features will never change */
938 bitmap_copy(cpu
->model
->features
, cpu
->model
->def
->base_feat
,
941 /* latest model - features can change */
942 bitmap_copy(cpu
->model
->features
,
943 cpu
->model
->def
->default_feat
, S390_FEAT_MAX
);
948 static void s390_host_cpu_model_initfn(Object
*obj
)
950 S390CPU
*cpu
= S390_CPU(obj
);
953 if (!kvm_enabled() || !kvm_s390_cpu_models_supported()) {
957 cpu
->model
= g_malloc0(sizeof(*cpu
->model
));
958 kvm_s390_get_host_cpu_model(cpu
->model
, &err
);
960 error_report_err(err
);
962 /* fallback to unsupported cpu models */
968 static void s390_qemu_cpu_model_initfn(Object
*obj
)
970 static S390CPUDef s390_qemu_cpu_defs
;
971 S390CPU
*cpu
= S390_CPU(obj
);
973 cpu
->model
= g_malloc0(sizeof(*cpu
->model
));
974 /* TCG emulates a z900 (with some optional additional features) */
975 memcpy(&s390_qemu_cpu_defs
, &s390_cpu_defs
[0], sizeof(s390_qemu_cpu_defs
));
976 add_qemu_cpu_model_features(s390_qemu_cpu_defs
.full_feat
);
977 cpu
->model
->def
= &s390_qemu_cpu_defs
;
978 bitmap_copy(cpu
->model
->features
, cpu
->model
->def
->default_feat
,
982 static void s390_cpu_model_finalize(Object
*obj
)
984 S390CPU
*cpu
= S390_CPU(obj
);
990 static bool get_is_migration_safe(Object
*obj
, Error
**errp
)
992 return S390_CPU_GET_CLASS(obj
)->is_migration_safe
;
995 static bool get_is_static(Object
*obj
, Error
**errp
)
997 return S390_CPU_GET_CLASS(obj
)->is_static
;
1000 static char *get_description(Object
*obj
, Error
**errp
)
1002 return g_strdup(S390_CPU_GET_CLASS(obj
)->desc
);
1005 void s390_cpu_model_class_register_props(ObjectClass
*oc
)
1007 object_class_property_add_bool(oc
, "migration-safe", get_is_migration_safe
,
1009 object_class_property_add_bool(oc
, "static", get_is_static
,
1011 object_class_property_add_str(oc
, "description", get_description
, NULL
,
1016 static void s390_host_cpu_model_class_init(ObjectClass
*oc
, void *data
)
1018 S390CPUClass
*xcc
= S390_CPU_CLASS(oc
);
1020 xcc
->kvm_required
= true;
1021 xcc
->desc
= "KVM only: All recognized features";
1025 static void s390_base_cpu_model_class_init(ObjectClass
*oc
, void *data
)
1027 S390CPUClass
*xcc
= S390_CPU_CLASS(oc
);
1029 /* all base models are migration safe */
1030 xcc
->cpu_def
= (const S390CPUDef
*) data
;
1031 xcc
->is_migration_safe
= true;
1032 xcc
->is_static
= true;
1033 xcc
->desc
= xcc
->cpu_def
->desc
;
1036 static void s390_cpu_model_class_init(ObjectClass
*oc
, void *data
)
1038 S390CPUClass
*xcc
= S390_CPU_CLASS(oc
);
1040 /* model that can change between QEMU versions */
1041 xcc
->cpu_def
= (const S390CPUDef
*) data
;
1042 xcc
->is_migration_safe
= true;
1043 xcc
->desc
= xcc
->cpu_def
->desc
;
1046 static void s390_qemu_cpu_model_class_init(ObjectClass
*oc
, void *data
)
1048 S390CPUClass
*xcc
= S390_CPU_CLASS(oc
);
1050 xcc
->is_migration_safe
= true;
1051 xcc
->desc
= g_strdup_printf("QEMU Virtual CPU version %s",
1055 #define S390_CPU_TYPE_SUFFIX "-" TYPE_S390_CPU
1056 #define S390_CPU_TYPE_NAME(name) (name S390_CPU_TYPE_SUFFIX)
1058 /* Generate type name for a cpu model. Caller has to free the string. */
1059 static char *s390_cpu_type_name(const char *model_name
)
1061 return g_strdup_printf(S390_CPU_TYPE_NAME("%s"), model_name
);
1064 /* Generate type name for a base cpu model. Caller has to free the string. */
1065 static char *s390_base_cpu_type_name(const char *model_name
)
1067 return g_strdup_printf(S390_CPU_TYPE_NAME("%s-base"), model_name
);
1070 ObjectClass
*s390_cpu_class_by_name(const char *name
)
1072 char *typename
= s390_cpu_type_name(name
);
1075 oc
= object_class_by_name(typename
);
1080 static const TypeInfo qemu_s390_cpu_type_info
= {
1081 .name
= S390_CPU_TYPE_NAME("qemu"),
1082 .parent
= TYPE_S390_CPU
,
1083 .instance_init
= s390_qemu_cpu_model_initfn
,
1084 .instance_finalize
= s390_cpu_model_finalize
,
1085 .class_init
= s390_qemu_cpu_model_class_init
,
1089 static const TypeInfo host_s390_cpu_type_info
= {
1090 .name
= S390_CPU_TYPE_NAME("host"),
1091 .parent
= TYPE_S390_CPU
,
1092 .instance_init
= s390_host_cpu_model_initfn
,
1093 .instance_finalize
= s390_cpu_model_finalize
,
1094 .class_init
= s390_host_cpu_model_class_init
,
1098 static void register_types(void)
1102 /* init all bitmaps from gnerated data initially */
1103 for (i
= 0; i
< ARRAY_SIZE(s390_cpu_defs
); i
++) {
1104 s390_init_feat_bitmap(s390_cpu_defs
[i
].base_init
,
1105 s390_cpu_defs
[i
].base_feat
);
1106 s390_init_feat_bitmap(s390_cpu_defs
[i
].default_init
,
1107 s390_cpu_defs
[i
].default_feat
);
1108 s390_init_feat_bitmap(s390_cpu_defs
[i
].full_init
,
1109 s390_cpu_defs
[i
].full_feat
);
1112 for (i
= 0; i
< ARRAY_SIZE(s390_cpu_defs
); i
++) {
1113 char *base_name
= s390_base_cpu_type_name(s390_cpu_defs
[i
].name
);
1114 TypeInfo ti_base
= {
1116 .parent
= TYPE_S390_CPU
,
1117 .instance_init
= s390_cpu_model_initfn
,
1118 .instance_finalize
= s390_cpu_model_finalize
,
1119 .class_init
= s390_base_cpu_model_class_init
,
1120 .class_data
= (void *) &s390_cpu_defs
[i
],
1122 char *name
= s390_cpu_type_name(s390_cpu_defs
[i
].name
);
1125 .parent
= TYPE_S390_CPU
,
1126 .instance_init
= s390_cpu_model_initfn
,
1127 .instance_finalize
= s390_cpu_model_finalize
,
1128 .class_init
= s390_cpu_model_class_init
,
1129 .class_data
= (void *) &s390_cpu_defs
[i
],
1132 type_register_static(&ti_base
);
1133 type_register_static(&ti
);
1138 type_register_static(&qemu_s390_cpu_type_info
);
1140 type_register_static(&host_s390_cpu_type_info
);
1144 type_init(register_types
)