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"
16 #include "kvm_s390x.h"
17 #include "sysemu/kvm.h"
18 #include "qapi/error.h"
19 #include "qapi/visitor.h"
20 #include "qemu/error-report.h"
21 #include "qapi/qmp/qerror.h"
22 #include "qapi/qobject-input-visitor.h"
23 #include "qapi/qmp/qdict.h"
24 #ifndef CONFIG_USER_ONLY
25 #include "sysemu/arch_init.h"
26 #include "hw/pci/pci.h"
29 #define CPUDEF_INIT(_type, _gen, _ec_ga, _mha_pow, _hmfai, _name, _desc) \
35 .mha_pow = _mha_pow, \
38 .base_init = { S390_FEAT_LIST_GEN ## _gen ## _GA ## _ec_ga ## _BASE }, \
39 .default_init = { S390_FEAT_LIST_GEN ## _gen ## _GA ## _ec_ga ## _DEFAULT }, \
40 .full_init = { S390_FEAT_LIST_GEN ## _gen ## _GA ## _ec_ga ## _FULL }, \
44 * CPU definiton list in order of release. For now, base features of a
45 * following release are always a subset of base features of the previous
46 * release. Same is correct for the other feature sets.
47 * A BC release always follows the corresponding EC release.
49 static S390CPUDef s390_cpu_defs
[] = {
50 CPUDEF_INIT(0x2064, 7, 1, 38, 0x00000000U
, "z900", "IBM zSeries 900 GA1"),
51 CPUDEF_INIT(0x2064, 7, 2, 38, 0x00000000U
, "z900.2", "IBM zSeries 900 GA2"),
52 CPUDEF_INIT(0x2064, 7, 3, 38, 0x00000000U
, "z900.3", "IBM zSeries 900 GA3"),
53 CPUDEF_INIT(0x2066, 7, 3, 38, 0x00000000U
, "z800", "IBM zSeries 800 GA1"),
54 CPUDEF_INIT(0x2084, 8, 1, 38, 0x00000000U
, "z990", "IBM zSeries 990 GA1"),
55 CPUDEF_INIT(0x2084, 8, 2, 38, 0x00000000U
, "z990.2", "IBM zSeries 990 GA2"),
56 CPUDEF_INIT(0x2084, 8, 3, 38, 0x00000000U
, "z990.3", "IBM zSeries 990 GA3"),
57 CPUDEF_INIT(0x2086, 8, 3, 38, 0x00000000U
, "z890", "IBM zSeries 880 GA1"),
58 CPUDEF_INIT(0x2084, 8, 4, 38, 0x00000000U
, "z990.4", "IBM zSeries 990 GA4"),
59 CPUDEF_INIT(0x2086, 8, 4, 38, 0x00000000U
, "z890.2", "IBM zSeries 880 GA2"),
60 CPUDEF_INIT(0x2084, 8, 5, 38, 0x00000000U
, "z990.5", "IBM zSeries 990 GA5"),
61 CPUDEF_INIT(0x2086, 8, 5, 38, 0x00000000U
, "z890.3", "IBM zSeries 880 GA3"),
62 CPUDEF_INIT(0x2094, 9, 1, 40, 0x00000000U
, "z9EC", "IBM System z9 EC GA1"),
63 CPUDEF_INIT(0x2094, 9, 2, 40, 0x00000000U
, "z9EC.2", "IBM System z9 EC GA2"),
64 CPUDEF_INIT(0x2096, 9, 2, 40, 0x00000000U
, "z9BC", "IBM System z9 BC GA1"),
65 CPUDEF_INIT(0x2094, 9, 3, 40, 0x00000000U
, "z9EC.3", "IBM System z9 EC GA3"),
66 CPUDEF_INIT(0x2096, 9, 3, 40, 0x00000000U
, "z9BC.2", "IBM System z9 BC GA2"),
67 CPUDEF_INIT(0x2097, 10, 1, 43, 0x00000000U
, "z10EC", "IBM System z10 EC GA1"),
68 CPUDEF_INIT(0x2097, 10, 2, 43, 0x00000000U
, "z10EC.2", "IBM System z10 EC GA2"),
69 CPUDEF_INIT(0x2098, 10, 2, 43, 0x00000000U
, "z10BC", "IBM System z10 BC GA1"),
70 CPUDEF_INIT(0x2097, 10, 3, 43, 0x00000000U
, "z10EC.3", "IBM System z10 EC GA3"),
71 CPUDEF_INIT(0x2098, 10, 3, 43, 0x00000000U
, "z10BC.2", "IBM System z10 BC GA2"),
72 CPUDEF_INIT(0x2817, 11, 1, 44, 0x08000000U
, "z196", "IBM zEnterprise 196 GA1"),
73 CPUDEF_INIT(0x2817, 11, 2, 44, 0x08000000U
, "z196.2", "IBM zEnterprise 196 GA2"),
74 CPUDEF_INIT(0x2818, 11, 2, 44, 0x08000000U
, "z114", "IBM zEnterprise 114 GA1"),
75 CPUDEF_INIT(0x2827, 12, 1, 44, 0x08000000U
, "zEC12", "IBM zEnterprise EC12 GA1"),
76 CPUDEF_INIT(0x2827, 12, 2, 44, 0x08000000U
, "zEC12.2", "IBM zEnterprise EC12 GA2"),
77 CPUDEF_INIT(0x2828, 12, 2, 44, 0x08000000U
, "zBC12", "IBM zEnterprise BC12 GA1"),
78 CPUDEF_INIT(0x2964, 13, 1, 47, 0x08000000U
, "z13", "IBM z13 GA1"),
79 CPUDEF_INIT(0x2964, 13, 2, 47, 0x08000000U
, "z13.2", "IBM z13 GA2"),
80 CPUDEF_INIT(0x2965, 13, 2, 47, 0x08000000U
, "z13s", "IBM z13s GA1"),
81 CPUDEF_INIT(0x3906, 14, 1, 47, 0x08000000U
, "z14", "IBM z14 GA1"),
82 CPUDEF_INIT(0x3907, 14, 1, 47, 0x08000000U
, "z14ZR1", "IBM z14 Model ZR1 GA1"),
85 #define QEMU_MAX_CPU_TYPE 0x2827
86 #define QEMU_MAX_CPU_GEN 12
87 #define QEMU_MAX_CPU_EC_GA 2
88 static const S390FeatInit qemu_max_cpu_feat_init
= { S390_FEAT_LIST_QEMU_MAX
};
89 static S390FeatBitmap qemu_max_cpu_feat
;
91 /* features part of a base model but not relevant for finding a base model */
92 S390FeatBitmap ignored_base_feat
;
94 void s390_cpudef_featoff(uint8_t gen
, uint8_t ec_ga
, S390Feat feat
)
96 const S390CPUDef
*def
;
98 def
= s390_find_cpu_def(0, gen
, ec_ga
, NULL
);
99 clear_bit(feat
, (unsigned long *)&def
->default_feat
);
102 void s390_cpudef_featoff_greater(uint8_t gen
, uint8_t ec_ga
, S390Feat feat
)
106 for (i
= 0; i
< ARRAY_SIZE(s390_cpu_defs
); i
++) {
107 const S390CPUDef
*def
= &s390_cpu_defs
[i
];
109 if (def
->gen
< gen
) {
112 if (def
->gen
== gen
&& def
->ec_ga
< ec_ga
) {
116 clear_bit(feat
, (unsigned long *)&def
->default_feat
);
120 uint32_t s390_get_hmfai(void)
125 cpu
= S390_CPU(qemu_get_cpu(0));
128 if (!cpu
|| !cpu
->model
) {
131 return cpu
->model
->def
->hmfai
;
134 uint8_t s390_get_mha_pow(void)
139 cpu
= S390_CPU(qemu_get_cpu(0));
142 if (!cpu
|| !cpu
->model
) {
145 return cpu
->model
->def
->mha_pow
;
148 uint32_t s390_get_ibc_val(void)
150 uint16_t unblocked_ibc
, lowest_ibc
;
154 cpu
= S390_CPU(qemu_get_cpu(0));
157 if (!cpu
|| !cpu
->model
) {
160 unblocked_ibc
= s390_ibc_from_cpu_model(cpu
->model
);
161 lowest_ibc
= cpu
->model
->lowest_ibc
;
162 /* the lowest_ibc always has to be <= unblocked_ibc */
163 if (!lowest_ibc
|| lowest_ibc
> unblocked_ibc
) {
166 return ((uint32_t) lowest_ibc
<< 16) | unblocked_ibc
;
169 void s390_get_feat_block(S390FeatType type
, uint8_t *data
)
174 cpu
= S390_CPU(qemu_get_cpu(0));
177 if (!cpu
|| !cpu
->model
) {
180 s390_fill_feat_block(cpu
->model
->features
, type
, data
);
183 bool s390_has_feat(S390Feat feat
)
188 cpu
= S390_CPU(qemu_get_cpu(0));
191 if (!cpu
|| !cpu
->model
) {
194 if (feat
== S390_FEAT_VECTOR
) {
195 return kvm_check_extension(kvm_state
,
196 KVM_CAP_S390_VECTOR_REGISTERS
);
198 if (feat
== S390_FEAT_RUNTIME_INSTRUMENTATION
) {
199 return kvm_s390_get_ri();
201 if (feat
== S390_FEAT_MSA_EXT_3
) {
206 if (feat
== S390_FEAT_ZPCI
) {
211 return test_bit(feat
, cpu
->model
->features
);
214 uint8_t s390_get_gen_for_cpu_type(uint16_t type
)
218 for (i
= 0; i
< ARRAY_SIZE(s390_cpu_defs
); i
++) {
219 if (s390_cpu_defs
[i
].type
== type
) {
220 return s390_cpu_defs
[i
].gen
;
226 const S390CPUDef
*s390_find_cpu_def(uint16_t type
, uint8_t gen
, uint8_t ec_ga
,
227 S390FeatBitmap features
)
229 const S390CPUDef
*last_compatible
= NULL
;
230 const S390CPUDef
*matching_cpu_type
= NULL
;
237 gen
= s390_get_gen_for_cpu_type(type
);
240 for (i
= 0; i
< ARRAY_SIZE(s390_cpu_defs
); i
++) {
241 const S390CPUDef
*def
= &s390_cpu_defs
[i
];
242 S390FeatBitmap missing
;
244 /* don't even try newer generations if we know the generation */
246 if (def
->gen
> gen
) {
248 } else if (def
->gen
== gen
&& ec_ga
&& def
->ec_ga
> ec_ga
) {
254 /* see if the model satisfies the minimum features */
255 bitmap_andnot(missing
, def
->base_feat
, features
, S390_FEAT_MAX
);
257 * Ignore certain features that are in the base model, but not
258 * relevant for the search (esp. MSA subfunctions).
260 bitmap_andnot(missing
, missing
, ignored_base_feat
, S390_FEAT_MAX
);
261 if (!bitmap_empty(missing
, S390_FEAT_MAX
)) {
266 /* stop the search if we found the exact model */
267 if (def
->type
== type
&& def
->ec_ga
== ec_ga
) {
270 /* remember if we've at least seen one with the same cpu type */
271 if (def
->type
== type
) {
272 matching_cpu_type
= def
;
274 last_compatible
= def
;
276 /* prefer the model with the same cpu type, esp. don't take the BC for EC */
277 if (matching_cpu_type
) {
278 return matching_cpu_type
;
280 return last_compatible
;
283 static void s390_print_cpu_model_list_entry(gpointer data
, gpointer user_data
)
285 CPUListState
*s
= user_data
;
286 const S390CPUClass
*scc
= S390_CPU_CLASS((ObjectClass
*)data
);
287 char *name
= g_strdup(object_class_get_name((ObjectClass
*)data
));
288 const char *details
= "";
290 if (scc
->is_static
) {
291 details
= "(static, migration-safe)";
292 } else if (scc
->is_migration_safe
) {
293 details
= "(migration-safe)";
296 /* strip off the -s390x-cpu */
297 g_strrstr(name
, "-" TYPE_S390_CPU
)[0] = 0;
298 (*s
->cpu_fprintf
)(s
->file
, "s390 %-15s %-35s %s\n", name
, scc
->desc
,
303 static gint
s390_cpu_list_compare(gconstpointer a
, gconstpointer b
)
305 const S390CPUClass
*cc_a
= S390_CPU_CLASS((ObjectClass
*)a
);
306 const S390CPUClass
*cc_b
= S390_CPU_CLASS((ObjectClass
*)b
);
307 const char *name_a
= object_class_get_name((ObjectClass
*)a
);
308 const char *name_b
= object_class_get_name((ObjectClass
*)b
);
310 /* move qemu and host to the top of the list, qemu first, host second */
311 if (name_a
[0] == 'q') {
313 } else if (name_b
[0] == 'q') {
315 } else if (name_a
[0] == 'h') {
317 } else if (name_b
[0] == 'h') {
321 /* keep the same order we have in our table (sorted by release date) */
322 if (cc_a
->cpu_def
!= cc_b
->cpu_def
) {
323 return cc_a
->cpu_def
- cc_b
->cpu_def
;
326 /* exact same definition - list base model first */
327 return cc_a
->is_static
? -1 : 1;
330 void s390_cpu_list(FILE *f
, fprintf_function print
)
334 .cpu_fprintf
= print
,
340 list
= object_class_get_list(TYPE_S390_CPU
, false);
341 list
= g_slist_sort(list
, s390_cpu_list_compare
);
342 g_slist_foreach(list
, s390_print_cpu_model_list_entry
, &s
);
345 (*print
)(f
, "\nRecognized feature flags:\n");
346 for (feat
= 0; feat
< S390_FEAT_MAX
; feat
++) {
347 const S390FeatDef
*def
= s390_feat_def(feat
);
349 (*print
)(f
, "%-20s %-50s\n", def
->name
, def
->desc
);
352 (*print
)(f
, "\nRecognized feature groups:\n");
353 for (group
= 0; group
< S390_FEAT_GROUP_MAX
; group
++) {
354 const S390FeatGroupDef
*def
= s390_feat_group_def(group
);
356 (*print
)(f
, "%-20s %-50s\n", def
->name
, def
->desc
);
360 static S390CPUModel
*get_max_cpu_model(Error
**errp
);
362 #ifndef CONFIG_USER_ONLY
363 static void list_add_feat(const char *name
, void *opaque
);
365 static void check_unavailable_features(const S390CPUModel
*max_model
,
366 const S390CPUModel
*model
,
367 strList
**unavailable
)
369 S390FeatBitmap missing
;
371 /* check general model compatibility */
372 if (max_model
->def
->gen
< model
->def
->gen
||
373 (max_model
->def
->gen
== model
->def
->gen
&&
374 max_model
->def
->ec_ga
< model
->def
->ec_ga
)) {
375 list_add_feat("type", unavailable
);
378 /* detect missing features if any to properly report them */
379 bitmap_andnot(missing
, model
->features
, max_model
->features
,
381 if (!bitmap_empty(missing
, S390_FEAT_MAX
)) {
382 s390_feat_bitmap_to_ascii(missing
, unavailable
, list_add_feat
);
386 struct CpuDefinitionInfoListData
{
387 CpuDefinitionInfoList
*list
;
391 static void create_cpu_model_list(ObjectClass
*klass
, void *opaque
)
393 struct CpuDefinitionInfoListData
*cpu_list_data
= opaque
;
394 CpuDefinitionInfoList
**cpu_list
= &cpu_list_data
->list
;
395 CpuDefinitionInfoList
*entry
;
396 CpuDefinitionInfo
*info
;
397 char *name
= g_strdup(object_class_get_name(klass
));
398 S390CPUClass
*scc
= S390_CPU_CLASS(klass
);
400 /* strip off the -s390x-cpu */
401 g_strrstr(name
, "-" TYPE_S390_CPU
)[0] = 0;
402 info
= g_new0(CpuDefinitionInfo
, 1);
404 info
->has_migration_safe
= true;
405 info
->migration_safe
= scc
->is_migration_safe
;
406 info
->q_static
= scc
->is_static
;
407 info
->q_typename
= g_strdup(object_class_get_name(klass
));
408 /* check for unavailable features */
409 if (cpu_list_data
->model
) {
412 obj
= object_new(object_class_get_name(klass
));
415 info
->has_unavailable_features
= true;
416 check_unavailable_features(cpu_list_data
->model
, sc
->model
,
417 &info
->unavailable_features
);
422 entry
= g_new0(CpuDefinitionInfoList
, 1);
424 entry
->next
= *cpu_list
;
428 CpuDefinitionInfoList
*arch_query_cpu_definitions(Error
**errp
)
430 struct CpuDefinitionInfoListData list_data
= {
434 list_data
.model
= get_max_cpu_model(errp
);
440 object_class_foreach(create_cpu_model_list
, TYPE_S390_CPU
, false,
443 return list_data
.list
;
446 static void cpu_model_from_info(S390CPUModel
*model
, const CpuModelInfo
*info
,
449 const QDict
*qdict
= NULL
;
457 qdict
= qobject_to(QDict
, info
->props
);
459 error_setg(errp
, QERR_INVALID_PARAMETER_TYPE
, "props", "dict");
464 oc
= cpu_class_by_name(TYPE_S390_CPU
, info
->name
);
466 error_setg(errp
, "The CPU definition \'%s\' is unknown.", info
->name
);
469 if (S390_CPU_CLASS(oc
)->kvm_required
&& !kvm_enabled()) {
470 error_setg(errp
, "The CPU definition '%s' requires KVM", info
->name
);
473 obj
= object_new(object_class_get_name(oc
));
477 error_setg(errp
, "Details about the host CPU model are not available, "
478 "it cannot be used.");
484 visitor
= qobject_input_visitor_new(info
->props
);
485 visit_start_struct(visitor
, NULL
, NULL
, 0, errp
);
490 for (e
= qdict_first(qdict
); e
; e
= qdict_next(qdict
, e
)) {
491 object_property_set(obj
, visitor
, e
->key
, errp
);
497 visit_check_struct(visitor
, errp
);
499 visit_end_struct(visitor
, NULL
);
507 /* copy the model and throw the cpu away */
508 memcpy(model
, cpu
->model
, sizeof(*model
));
512 static void qdict_add_disabled_feat(const char *name
, void *opaque
)
514 qdict_put_bool(opaque
, name
, false);
517 static void qdict_add_enabled_feat(const char *name
, void *opaque
)
519 qdict_put_bool(opaque
, name
, true);
522 /* convert S390CPUDef into a static CpuModelInfo */
523 static void cpu_info_from_model(CpuModelInfo
*info
, const S390CPUModel
*model
,
526 QDict
*qdict
= qdict_new();
527 S390FeatBitmap bitmap
;
529 /* always fallback to the static base model */
530 info
->name
= g_strdup_printf("%s-base", model
->def
->name
);
533 /* features deleted from the base feature set */
534 bitmap_andnot(bitmap
, model
->def
->base_feat
, model
->features
,
536 if (!bitmap_empty(bitmap
, S390_FEAT_MAX
)) {
537 s390_feat_bitmap_to_ascii(bitmap
, qdict
, qdict_add_disabled_feat
);
540 /* features added to the base feature set */
541 bitmap_andnot(bitmap
, model
->features
, model
->def
->base_feat
,
543 if (!bitmap_empty(bitmap
, S390_FEAT_MAX
)) {
544 s390_feat_bitmap_to_ascii(bitmap
, qdict
, qdict_add_enabled_feat
);
547 /* expand all features */
548 s390_feat_bitmap_to_ascii(model
->features
, qdict
,
549 qdict_add_enabled_feat
);
550 bitmap_complement(bitmap
, model
->features
, S390_FEAT_MAX
);
551 s390_feat_bitmap_to_ascii(bitmap
, qdict
, qdict_add_disabled_feat
);
554 if (!qdict_size(qdict
)) {
555 qobject_unref(qdict
);
557 info
->props
= QOBJECT(qdict
);
558 info
->has_props
= true;
562 CpuModelExpansionInfo
*arch_query_cpu_model_expansion(CpuModelExpansionType type
,
566 CpuModelExpansionInfo
*expansion_info
= NULL
;
567 S390CPUModel s390_model
;
568 bool delta_changes
= false;
570 /* convert it to our internal representation */
571 cpu_model_from_info(&s390_model
, model
, errp
);
576 if (type
== CPU_MODEL_EXPANSION_TYPE_STATIC
) {
577 delta_changes
= true;
578 } else if (type
!= CPU_MODEL_EXPANSION_TYPE_FULL
) {
579 error_setg(errp
, "The requested expansion type is not supported.");
583 /* convert it back to a static representation */
584 expansion_info
= g_new0(CpuModelExpansionInfo
, 1);
585 expansion_info
->model
= g_malloc0(sizeof(*expansion_info
->model
));
586 cpu_info_from_model(expansion_info
->model
, &s390_model
, delta_changes
);
587 return expansion_info
;
590 static void list_add_feat(const char *name
, void *opaque
)
592 strList
**last
= (strList
**) opaque
;
595 entry
= g_new0(strList
, 1);
596 entry
->value
= g_strdup(name
);
601 CpuModelCompareInfo
*arch_query_cpu_model_comparison(CpuModelInfo
*infoa
,
605 CpuModelCompareResult feat_result
, gen_result
;
606 CpuModelCompareInfo
*compare_info
;
607 S390FeatBitmap missing
, added
;
608 S390CPUModel modela
, modelb
;
610 /* convert both models to our internal representation */
611 cpu_model_from_info(&modela
, infoa
, errp
);
615 cpu_model_from_info(&modelb
, infob
, errp
);
619 compare_info
= g_new0(CpuModelCompareInfo
, 1);
621 /* check the cpu generation and ga level */
622 if (modela
.def
->gen
== modelb
.def
->gen
) {
623 if (modela
.def
->ec_ga
== modelb
.def
->ec_ga
) {
624 /* ec and corresponding bc are identical */
625 gen_result
= CPU_MODEL_COMPARE_RESULT_IDENTICAL
;
626 } else if (modela
.def
->ec_ga
< modelb
.def
->ec_ga
) {
627 gen_result
= CPU_MODEL_COMPARE_RESULT_SUBSET
;
629 gen_result
= CPU_MODEL_COMPARE_RESULT_SUPERSET
;
631 } else if (modela
.def
->gen
< modelb
.def
->gen
) {
632 gen_result
= CPU_MODEL_COMPARE_RESULT_SUBSET
;
634 gen_result
= CPU_MODEL_COMPARE_RESULT_SUPERSET
;
636 if (gen_result
!= CPU_MODEL_COMPARE_RESULT_IDENTICAL
) {
637 /* both models cannot be made identical */
638 list_add_feat("type", &compare_info
->responsible_properties
);
641 /* check the feature set */
642 if (bitmap_equal(modela
.features
, modelb
.features
, S390_FEAT_MAX
)) {
643 feat_result
= CPU_MODEL_COMPARE_RESULT_IDENTICAL
;
645 bitmap_andnot(missing
, modela
.features
, modelb
.features
, S390_FEAT_MAX
);
646 s390_feat_bitmap_to_ascii(missing
,
647 &compare_info
->responsible_properties
,
649 bitmap_andnot(added
, modelb
.features
, modela
.features
, S390_FEAT_MAX
);
650 s390_feat_bitmap_to_ascii(added
, &compare_info
->responsible_properties
,
652 if (bitmap_empty(missing
, S390_FEAT_MAX
)) {
653 feat_result
= CPU_MODEL_COMPARE_RESULT_SUBSET
;
654 } else if (bitmap_empty(added
, S390_FEAT_MAX
)) {
655 feat_result
= CPU_MODEL_COMPARE_RESULT_SUPERSET
;
657 feat_result
= CPU_MODEL_COMPARE_RESULT_INCOMPATIBLE
;
661 /* combine the results */
662 if (gen_result
== feat_result
) {
663 compare_info
->result
= gen_result
;
664 } else if (feat_result
== CPU_MODEL_COMPARE_RESULT_IDENTICAL
) {
665 compare_info
->result
= gen_result
;
666 } else if (gen_result
== CPU_MODEL_COMPARE_RESULT_IDENTICAL
) {
667 compare_info
->result
= feat_result
;
669 compare_info
->result
= CPU_MODEL_COMPARE_RESULT_INCOMPATIBLE
;
674 CpuModelBaselineInfo
*arch_query_cpu_model_baseline(CpuModelInfo
*infoa
,
678 CpuModelBaselineInfo
*baseline_info
;
679 S390CPUModel modela
, modelb
, model
;
684 /* convert both models to our internal representation */
685 cpu_model_from_info(&modela
, infoa
, errp
);
690 cpu_model_from_info(&modelb
, infob
, errp
);
695 /* features both models support */
696 bitmap_and(model
.features
, modela
.features
, modelb
.features
, S390_FEAT_MAX
);
698 /* detect the maximum model not regarding features */
699 if (modela
.def
->gen
== modelb
.def
->gen
) {
700 if (modela
.def
->type
== modelb
.def
->type
) {
701 cpu_type
= modela
.def
->type
;
705 max_gen
= modela
.def
->gen
;
706 max_gen_ga
= MIN(modela
.def
->ec_ga
, modelb
.def
->ec_ga
);
707 } else if (modela
.def
->gen
> modelb
.def
->gen
) {
708 cpu_type
= modelb
.def
->type
;
709 max_gen
= modelb
.def
->gen
;
710 max_gen_ga
= modelb
.def
->ec_ga
;
712 cpu_type
= modela
.def
->type
;
713 max_gen
= modela
.def
->gen
;
714 max_gen_ga
= modela
.def
->ec_ga
;
717 model
.def
= s390_find_cpu_def(cpu_type
, max_gen
, max_gen_ga
,
719 /* strip off features not part of the max model */
720 bitmap_and(model
.features
, model
.features
, model
.def
->full_feat
,
723 baseline_info
= g_new0(CpuModelBaselineInfo
, 1);
724 baseline_info
->model
= g_malloc0(sizeof(*baseline_info
->model
));
725 cpu_info_from_model(baseline_info
->model
, &model
, true);
726 return baseline_info
;
730 static void check_consistency(const S390CPUModel
*model
)
732 static int dep
[][2] = {
733 { S390_FEAT_IPTE_RANGE
, S390_FEAT_DAT_ENH
},
734 { S390_FEAT_IDTE_SEGMENT
, S390_FEAT_DAT_ENH
},
735 { S390_FEAT_IDTE_REGION
, S390_FEAT_DAT_ENH
},
736 { S390_FEAT_IDTE_REGION
, S390_FEAT_IDTE_SEGMENT
},
737 { S390_FEAT_LOCAL_TLB_CLEARING
, S390_FEAT_DAT_ENH
},
738 { S390_FEAT_LONG_DISPLACEMENT_FAST
, S390_FEAT_LONG_DISPLACEMENT
},
739 { S390_FEAT_DFP_FAST
, S390_FEAT_DFP
},
740 { S390_FEAT_TRANSACTIONAL_EXE
, S390_FEAT_STFLE_49
},
741 { S390_FEAT_EDAT_2
, S390_FEAT_EDAT
},
742 { S390_FEAT_MSA_EXT_5
, S390_FEAT_KIMD_SHA_512
},
743 { S390_FEAT_MSA_EXT_5
, S390_FEAT_KLMD_SHA_512
},
744 { S390_FEAT_MSA_EXT_4
, S390_FEAT_MSA_EXT_3
},
745 { S390_FEAT_SIE_CMMA
, S390_FEAT_CMM
},
746 { S390_FEAT_SIE_CMMA
, S390_FEAT_SIE_GSLS
},
747 { S390_FEAT_SIE_PFMFI
, S390_FEAT_EDAT
},
748 { S390_FEAT_MSA_EXT_8
, S390_FEAT_MSA_EXT_3
},
749 { S390_FEAT_MULTIPLE_EPOCH
, S390_FEAT_TOD_CLOCK_STEERING
},
750 { S390_FEAT_VECTOR_PACKED_DECIMAL
, S390_FEAT_VECTOR
},
751 { S390_FEAT_VECTOR_ENH
, S390_FEAT_VECTOR
},
752 { S390_FEAT_INSTRUCTION_EXEC_PROT
, S390_FEAT_SIDE_EFFECT_ACCESS_ESOP2
},
753 { S390_FEAT_SIDE_EFFECT_ACCESS_ESOP2
, S390_FEAT_ESOP
},
754 { S390_FEAT_CMM_NT
, S390_FEAT_CMM
},
755 { S390_FEAT_GUARDED_STORAGE
, S390_FEAT_SIDE_EFFECT_ACCESS_ESOP2
},
756 { S390_FEAT_MULTIPLE_EPOCH
, S390_FEAT_STORE_CLOCK_FAST
},
757 { S390_FEAT_MULTIPLE_EPOCH
, S390_FEAT_TOD_CLOCK_STEERING
},
758 { S390_FEAT_SEMAPHORE_ASSIST
, S390_FEAT_STFLE_49
},
759 { S390_FEAT_KIMD_SHA3_224
, S390_FEAT_MSA
},
760 { S390_FEAT_KIMD_SHA3_256
, S390_FEAT_MSA
},
761 { S390_FEAT_KIMD_SHA3_384
, S390_FEAT_MSA
},
762 { S390_FEAT_KIMD_SHA3_512
, S390_FEAT_MSA
},
763 { S390_FEAT_KIMD_SHAKE_128
, S390_FEAT_MSA
},
764 { S390_FEAT_KIMD_SHAKE_256
, S390_FEAT_MSA
},
765 { S390_FEAT_KLMD_SHA3_224
, S390_FEAT_MSA
},
766 { S390_FEAT_KLMD_SHA3_256
, S390_FEAT_MSA
},
767 { S390_FEAT_KLMD_SHA3_384
, S390_FEAT_MSA
},
768 { S390_FEAT_KLMD_SHA3_512
, S390_FEAT_MSA
},
769 { S390_FEAT_KLMD_SHAKE_128
, S390_FEAT_MSA
},
770 { S390_FEAT_KLMD_SHAKE_256
, S390_FEAT_MSA
},
771 { S390_FEAT_PRNO_TRNG_QRTCR
, S390_FEAT_MSA_EXT_5
},
772 { S390_FEAT_PRNO_TRNG
, S390_FEAT_MSA_EXT_5
},
773 { S390_FEAT_SIE_KSS
, S390_FEAT_SIE_F2
},
777 for (i
= 0; i
< ARRAY_SIZE(dep
); i
++) {
778 if (test_bit(dep
[i
][0], model
->features
) &&
779 !test_bit(dep
[i
][1], model
->features
)) {
780 warn_report("\'%s\' requires \'%s\'.",
781 s390_feat_def(dep
[i
][0])->name
,
782 s390_feat_def(dep
[i
][1])->name
);
787 static void error_prepend_missing_feat(const char *name
, void *opaque
)
789 error_prepend((Error
**) opaque
, "%s ", name
);
792 static void check_compatibility(const S390CPUModel
*max_model
,
793 const S390CPUModel
*model
, Error
**errp
)
795 S390FeatBitmap missing
;
797 if (model
->def
->gen
> max_model
->def
->gen
) {
798 error_setg(errp
, "Selected CPU generation is too new. Maximum "
799 "supported model in the configuration: \'%s\'",
800 max_model
->def
->name
);
802 } else if (model
->def
->gen
== max_model
->def
->gen
&&
803 model
->def
->ec_ga
> max_model
->def
->ec_ga
) {
804 error_setg(errp
, "Selected CPU GA level is too new. Maximum "
805 "supported model in the configuration: \'%s\'",
806 max_model
->def
->name
);
810 /* detect the missing features to properly report them */
811 bitmap_andnot(missing
, model
->features
, max_model
->features
, S390_FEAT_MAX
);
812 if (bitmap_empty(missing
, S390_FEAT_MAX
)) {
816 error_setg(errp
, " ");
817 s390_feat_bitmap_to_ascii(missing
, errp
, error_prepend_missing_feat
);
818 error_prepend(errp
, "Some features requested in the CPU model are not "
819 "available in the configuration: ");
822 static S390CPUModel
*get_max_cpu_model(Error
**errp
)
824 static S390CPUModel max_model
;
832 kvm_s390_get_host_cpu_model(&max_model
, errp
);
834 max_model
.def
= s390_find_cpu_def(QEMU_MAX_CPU_TYPE
, QEMU_MAX_CPU_GEN
,
835 QEMU_MAX_CPU_EC_GA
, NULL
);
836 bitmap_copy(max_model
.features
, qemu_max_cpu_feat
, S390_FEAT_MAX
);
845 static inline void apply_cpu_model(const S390CPUModel
*model
, Error
**errp
)
847 #ifndef CONFIG_USER_ONLY
848 static S390CPUModel applied_model
;
852 * We have the same model for all VCPUs. KVM can only be configured before
853 * any VCPUs are defined in KVM.
856 if (model
&& memcmp(&applied_model
, model
, sizeof(S390CPUModel
))) {
857 error_setg(errp
, "Mixed CPU models are not supported on s390x.");
863 kvm_s390_apply_cpu_model(model
, errp
);
869 applied_model
= *model
;
875 void s390_realize_cpu_model(CPUState
*cs
, Error
**errp
)
877 S390CPUClass
*xcc
= S390_CPU_GET_CLASS(cs
);
878 S390CPU
*cpu
= S390_CPU(cs
);
879 const S390CPUModel
*max_model
;
881 if (xcc
->kvm_required
&& !kvm_enabled()) {
882 error_setg(errp
, "CPU definition requires KVM");
887 /* no host model support -> perform compatibility stuff */
888 apply_cpu_model(NULL
, errp
);
892 max_model
= get_max_cpu_model(errp
);
894 error_prepend(errp
, "CPU models are not available: ");
898 /* copy over properties that can vary */
899 cpu
->model
->lowest_ibc
= max_model
->lowest_ibc
;
900 cpu
->model
->cpu_id
= max_model
->cpu_id
;
901 cpu
->model
->cpu_id_format
= max_model
->cpu_id_format
;
902 cpu
->model
->cpu_ver
= max_model
->cpu_ver
;
904 check_consistency(cpu
->model
);
905 check_compatibility(max_model
, cpu
->model
, errp
);
910 apply_cpu_model(cpu
->model
, errp
);
912 #if !defined(CONFIG_USER_ONLY)
913 cpu
->env
.cpuid
= s390_cpuid_from_cpu_model(cpu
->model
);
915 /* basic mode, write the cpu address into the first 4 bit of the ID */
916 cpu
->env
.cpuid
= deposit64(cpu
->env
.cpuid
, 54, 4, cpu
->env
.core_id
);
921 static void get_feature(Object
*obj
, Visitor
*v
, const char *name
,
922 void *opaque
, Error
**errp
)
924 S390Feat feat
= (S390Feat
) opaque
;
925 S390CPU
*cpu
= S390_CPU(obj
);
929 error_setg(errp
, "Details about the host CPU model are not available, "
930 "features cannot be queried.");
934 value
= test_bit(feat
, cpu
->model
->features
);
935 visit_type_bool(v
, name
, &value
, errp
);
938 static void set_feature(Object
*obj
, Visitor
*v
, const char *name
,
939 void *opaque
, Error
**errp
)
941 S390Feat feat
= (S390Feat
) opaque
;
942 DeviceState
*dev
= DEVICE(obj
);
943 S390CPU
*cpu
= S390_CPU(obj
);
947 error_setg(errp
, "Attempt to set property '%s' on '%s' after "
948 "it was realized", name
, object_get_typename(obj
));
950 } else if (!cpu
->model
) {
951 error_setg(errp
, "Details about the host CPU model are not available, "
952 "features cannot be changed.");
956 visit_type_bool(v
, name
, &value
, errp
);
961 if (!test_bit(feat
, cpu
->model
->def
->full_feat
)) {
962 error_setg(errp
, "Feature '%s' is not available for CPU model '%s',"
963 " it was introduced with later models.",
964 name
, cpu
->model
->def
->name
);
967 set_bit(feat
, cpu
->model
->features
);
969 clear_bit(feat
, cpu
->model
->features
);
973 static void get_feature_group(Object
*obj
, Visitor
*v
, const char *name
,
974 void *opaque
, Error
**errp
)
976 S390FeatGroup group
= (S390FeatGroup
) opaque
;
977 const S390FeatGroupDef
*def
= s390_feat_group_def(group
);
978 S390CPU
*cpu
= S390_CPU(obj
);
983 error_setg(errp
, "Details about the host CPU model are not available, "
984 "features cannot be queried.");
988 /* a group is enabled if all features are enabled */
989 bitmap_and(tmp
, cpu
->model
->features
, def
->feat
, S390_FEAT_MAX
);
990 value
= bitmap_equal(tmp
, def
->feat
, S390_FEAT_MAX
);
991 visit_type_bool(v
, name
, &value
, errp
);
994 static void set_feature_group(Object
*obj
, Visitor
*v
, const char *name
,
995 void *opaque
, Error
**errp
)
997 S390FeatGroup group
= (S390FeatGroup
) opaque
;
998 const S390FeatGroupDef
*def
= s390_feat_group_def(group
);
999 DeviceState
*dev
= DEVICE(obj
);
1000 S390CPU
*cpu
= S390_CPU(obj
);
1003 if (dev
->realized
) {
1004 error_setg(errp
, "Attempt to set property '%s' on '%s' after "
1005 "it was realized", name
, object_get_typename(obj
));
1007 } else if (!cpu
->model
) {
1008 error_setg(errp
, "Details about the host CPU model are not available, "
1009 "features cannot be changed.");
1013 visit_type_bool(v
, name
, &value
, errp
);
1018 /* groups are added in one shot, so an intersect is sufficient */
1019 if (!bitmap_intersects(def
->feat
, cpu
->model
->def
->full_feat
,
1021 error_setg(errp
, "Group '%s' is not available for CPU model '%s',"
1022 " it was introduced with later models.",
1023 name
, cpu
->model
->def
->name
);
1026 bitmap_or(cpu
->model
->features
, cpu
->model
->features
, def
->feat
,
1029 bitmap_andnot(cpu
->model
->features
, cpu
->model
->features
, def
->feat
,
1034 void s390_cpu_model_register_props(Object
*obj
)
1036 S390FeatGroup group
;
1039 for (feat
= 0; feat
< S390_FEAT_MAX
; feat
++) {
1040 const S390FeatDef
*def
= s390_feat_def(feat
);
1041 object_property_add(obj
, def
->name
, "bool", get_feature
,
1042 set_feature
, NULL
, (void *) feat
, NULL
);
1043 object_property_set_description(obj
, def
->name
, def
->desc
, NULL
);
1045 for (group
= 0; group
< S390_FEAT_GROUP_MAX
; group
++) {
1046 const S390FeatGroupDef
*def
= s390_feat_group_def(group
);
1047 object_property_add(obj
, def
->name
, "bool", get_feature_group
,
1048 set_feature_group
, NULL
, (void *) group
, NULL
);
1049 object_property_set_description(obj
, def
->name
, def
->desc
, NULL
);
1053 static void s390_cpu_model_initfn(Object
*obj
)
1055 S390CPU
*cpu
= S390_CPU(obj
);
1056 S390CPUClass
*xcc
= S390_CPU_GET_CLASS(cpu
);
1058 cpu
->model
= g_malloc0(sizeof(*cpu
->model
));
1059 /* copy the model, so we can modify it */
1060 cpu
->model
->def
= xcc
->cpu_def
;
1061 if (xcc
->is_static
) {
1062 /* base model - features will never change */
1063 bitmap_copy(cpu
->model
->features
, cpu
->model
->def
->base_feat
,
1066 /* latest model - features can change */
1067 bitmap_copy(cpu
->model
->features
,
1068 cpu
->model
->def
->default_feat
, S390_FEAT_MAX
);
1073 static void s390_host_cpu_model_initfn(Object
*obj
)
1075 S390CPU
*cpu
= S390_CPU(obj
);
1078 if (!kvm_enabled() || !kvm_s390_cpu_models_supported()) {
1082 cpu
->model
= g_malloc0(sizeof(*cpu
->model
));
1083 kvm_s390_get_host_cpu_model(cpu
->model
, &err
);
1085 error_report_err(err
);
1087 /* fallback to unsupported cpu models */
1093 static S390CPUDef s390_qemu_cpu_def
;
1094 static S390CPUModel s390_qemu_cpu_model
;
1096 /* Set the qemu CPU model (on machine initialization). Must not be called
1097 * once CPUs have been created.
1099 void s390_set_qemu_cpu_model(uint16_t type
, uint8_t gen
, uint8_t ec_ga
,
1100 const S390FeatInit feat_init
)
1102 const S390CPUDef
*def
= s390_find_cpu_def(type
, gen
, ec_ga
, NULL
);
1105 g_assert(QTAILQ_EMPTY(&cpus
));
1107 /* TCG emulates some features that can usually not be enabled with
1108 * the emulated machine generation. Make sure they can be enabled
1109 * when using the QEMU model by adding them to full_feat. We have
1110 * to copy the definition to do that.
1112 memcpy(&s390_qemu_cpu_def
, def
, sizeof(s390_qemu_cpu_def
));
1113 bitmap_or(s390_qemu_cpu_def
.full_feat
, s390_qemu_cpu_def
.full_feat
,
1114 qemu_max_cpu_feat
, S390_FEAT_MAX
);
1116 /* build the CPU model */
1117 s390_qemu_cpu_model
.def
= &s390_qemu_cpu_def
;
1118 bitmap_zero(s390_qemu_cpu_model
.features
, S390_FEAT_MAX
);
1119 s390_init_feat_bitmap(feat_init
, s390_qemu_cpu_model
.features
);
1122 static void s390_qemu_cpu_model_initfn(Object
*obj
)
1124 S390CPU
*cpu
= S390_CPU(obj
);
1126 cpu
->model
= g_malloc0(sizeof(*cpu
->model
));
1127 /* copy the CPU model so we can modify it */
1128 memcpy(cpu
->model
, &s390_qemu_cpu_model
, sizeof(*cpu
->model
));
1131 static void s390_cpu_model_finalize(Object
*obj
)
1133 S390CPU
*cpu
= S390_CPU(obj
);
1139 static bool get_is_migration_safe(Object
*obj
, Error
**errp
)
1141 return S390_CPU_GET_CLASS(obj
)->is_migration_safe
;
1144 static bool get_is_static(Object
*obj
, Error
**errp
)
1146 return S390_CPU_GET_CLASS(obj
)->is_static
;
1149 static char *get_description(Object
*obj
, Error
**errp
)
1151 return g_strdup(S390_CPU_GET_CLASS(obj
)->desc
);
1154 void s390_cpu_model_class_register_props(ObjectClass
*oc
)
1156 object_class_property_add_bool(oc
, "migration-safe", get_is_migration_safe
,
1158 object_class_property_add_bool(oc
, "static", get_is_static
,
1160 object_class_property_add_str(oc
, "description", get_description
, NULL
,
1165 static void s390_host_cpu_model_class_init(ObjectClass
*oc
, void *data
)
1167 S390CPUClass
*xcc
= S390_CPU_CLASS(oc
);
1169 xcc
->kvm_required
= true;
1170 xcc
->desc
= "KVM only: All recognized features";
1174 static void s390_base_cpu_model_class_init(ObjectClass
*oc
, void *data
)
1176 S390CPUClass
*xcc
= S390_CPU_CLASS(oc
);
1178 /* all base models are migration safe */
1179 xcc
->cpu_def
= (const S390CPUDef
*) data
;
1180 xcc
->is_migration_safe
= true;
1181 xcc
->is_static
= true;
1182 xcc
->desc
= xcc
->cpu_def
->desc
;
1185 static void s390_cpu_model_class_init(ObjectClass
*oc
, void *data
)
1187 S390CPUClass
*xcc
= S390_CPU_CLASS(oc
);
1189 /* model that can change between QEMU versions */
1190 xcc
->cpu_def
= (const S390CPUDef
*) data
;
1191 xcc
->is_migration_safe
= true;
1192 xcc
->desc
= xcc
->cpu_def
->desc
;
1195 static void s390_qemu_cpu_model_class_init(ObjectClass
*oc
, void *data
)
1197 S390CPUClass
*xcc
= S390_CPU_CLASS(oc
);
1199 xcc
->is_migration_safe
= true;
1200 xcc
->desc
= g_strdup_printf("QEMU Virtual CPU version %s",
1204 /* Generate type name for a cpu model. Caller has to free the string. */
1205 static char *s390_cpu_type_name(const char *model_name
)
1207 return g_strdup_printf(S390_CPU_TYPE_NAME("%s"), model_name
);
1210 /* Generate type name for a base cpu model. Caller has to free the string. */
1211 static char *s390_base_cpu_type_name(const char *model_name
)
1213 return g_strdup_printf(S390_CPU_TYPE_NAME("%s-base"), model_name
);
1216 ObjectClass
*s390_cpu_class_by_name(const char *name
)
1218 char *typename
= s390_cpu_type_name(name
);
1221 oc
= object_class_by_name(typename
);
1226 static const TypeInfo qemu_s390_cpu_type_info
= {
1227 .name
= S390_CPU_TYPE_NAME("qemu"),
1228 .parent
= TYPE_S390_CPU
,
1229 .instance_init
= s390_qemu_cpu_model_initfn
,
1230 .instance_finalize
= s390_cpu_model_finalize
,
1231 .class_init
= s390_qemu_cpu_model_class_init
,
1235 static const TypeInfo host_s390_cpu_type_info
= {
1236 .name
= S390_CPU_TYPE_NAME("host"),
1237 .parent
= TYPE_S390_CPU
,
1238 .instance_init
= s390_host_cpu_model_initfn
,
1239 .instance_finalize
= s390_cpu_model_finalize
,
1240 .class_init
= s390_host_cpu_model_class_init
,
1244 static void init_ignored_base_feat(void)
1246 static const int feats
[] = {
1247 /* MSA subfunctions that could not be available on certain machines */
1249 S390_FEAT_KMAC_TDEA_128
,
1250 S390_FEAT_KMAC_TDEA_192
,
1252 S390_FEAT_KMC_TDEA_128
,
1253 S390_FEAT_KMC_TDEA_192
,
1255 S390_FEAT_KM_TDEA_128
,
1256 S390_FEAT_KM_TDEA_192
,
1257 S390_FEAT_KIMD_SHA_1
,
1258 S390_FEAT_KLMD_SHA_1
,
1262 for (i
= 0; i
< ARRAY_SIZE(feats
); i
++) {
1263 set_bit(feats
[i
], ignored_base_feat
);
1267 static void register_types(void)
1269 static const S390FeatInit qemu_latest_init
= { S390_FEAT_LIST_QEMU_LATEST
};
1272 init_ignored_base_feat();
1274 /* init all bitmaps from gnerated data initially */
1275 s390_init_feat_bitmap(qemu_max_cpu_feat_init
, qemu_max_cpu_feat
);
1276 #ifndef CONFIG_USER_ONLY
1277 if (!pci_available
) {
1278 clear_bit(S390_FEAT_ZPCI
, qemu_max_cpu_feat
);
1281 for (i
= 0; i
< ARRAY_SIZE(s390_cpu_defs
); i
++) {
1282 s390_init_feat_bitmap(s390_cpu_defs
[i
].base_init
,
1283 s390_cpu_defs
[i
].base_feat
);
1284 s390_init_feat_bitmap(s390_cpu_defs
[i
].default_init
,
1285 s390_cpu_defs
[i
].default_feat
);
1286 s390_init_feat_bitmap(s390_cpu_defs
[i
].full_init
,
1287 s390_cpu_defs
[i
].full_feat
);
1290 /* initialize the qemu model with latest definition */
1291 s390_set_qemu_cpu_model(QEMU_MAX_CPU_TYPE
, QEMU_MAX_CPU_GEN
,
1292 QEMU_MAX_CPU_EC_GA
, qemu_latest_init
);
1294 for (i
= 0; i
< ARRAY_SIZE(s390_cpu_defs
); i
++) {
1295 char *base_name
= s390_base_cpu_type_name(s390_cpu_defs
[i
].name
);
1296 TypeInfo ti_base
= {
1298 .parent
= TYPE_S390_CPU
,
1299 .instance_init
= s390_cpu_model_initfn
,
1300 .instance_finalize
= s390_cpu_model_finalize
,
1301 .class_init
= s390_base_cpu_model_class_init
,
1302 .class_data
= (void *) &s390_cpu_defs
[i
],
1304 char *name
= s390_cpu_type_name(s390_cpu_defs
[i
].name
);
1307 .parent
= TYPE_S390_CPU
,
1308 .instance_init
= s390_cpu_model_initfn
,
1309 .instance_finalize
= s390_cpu_model_finalize
,
1310 .class_init
= s390_cpu_model_class_init
,
1311 .class_data
= (void *) &s390_cpu_defs
[i
],
1314 type_register_static(&ti_base
);
1315 type_register_static(&ti
);
1320 type_register_static(&qemu_s390_cpu_type_info
);
1322 type_register_static(&host_s390_cpu_type_info
);
1326 type_init(register_types
)