xref: /qemu/target/s390x/cpu_features.c (revision ed2db97e60fdc32441f22526a26bd66a6557674d)
178241744SMichael Mueller /*
278241744SMichael Mueller  * CPU features/facilities for s390x
378241744SMichael Mueller  *
427e84d4eSChristian Borntraeger  * Copyright IBM Corp. 2016, 2018
5220ae900SDavid Hildenbrand  * Copyright Red Hat, Inc. 2019
678241744SMichael Mueller  *
7220ae900SDavid Hildenbrand  * Author(s): David Hildenbrand <david@redhat.com>
878241744SMichael Mueller  *
978241744SMichael Mueller  * This work is licensed under the terms of the GNU GPL, version 2 or (at
1078241744SMichael Mueller  * your option) any later version. See the COPYING file in the top-level
1178241744SMichael Mueller  * directory.
1278241744SMichael Mueller  */
1378241744SMichael Mueller 
1478241744SMichael Mueller #include "qemu/osdep.h"
158b3d6cb1SDavid Hildenbrand #include "qemu/module.h"
1678241744SMichael Mueller #include "cpu_features.h"
173ea7e312SPhilippe Mathieu-Daudé #ifndef CONFIG_USER_ONLY
18f5f9c6eaSPhilippe Mathieu-Daudé #include "target/s390x/kvm/pv.h"
193ea7e312SPhilippe Mathieu-Daudé #endif
2078241744SMichael Mueller 
21220ae900SDavid Hildenbrand #define DEF_FEAT(_FEAT, _NAME, _TYPE, _BIT, _DESC) \
22220ae900SDavid Hildenbrand     [S390_FEAT_##_FEAT] = {                        \
23220ae900SDavid Hildenbrand         .name = _NAME,                             \
24220ae900SDavid Hildenbrand         .type = S390_FEAT_TYPE_##_TYPE,            \
25220ae900SDavid Hildenbrand         .bit = _BIT,                               \
26220ae900SDavid Hildenbrand         .desc = _DESC,                             \
27220ae900SDavid Hildenbrand     },
28220ae900SDavid Hildenbrand static const S390FeatDef s390_features[S390_FEAT_MAX] = {
290979ed01SPaolo Bonzini     #include "cpu_features_def.h.inc"
3078241744SMichael Mueller };
31220ae900SDavid Hildenbrand #undef DEF_FEAT
3278241744SMichael Mueller 
s390_feat_def(S390Feat feat)3378241744SMichael Mueller const S390FeatDef *s390_feat_def(S390Feat feat)
3478241744SMichael Mueller {
3578241744SMichael Mueller     return &s390_features[feat];
3678241744SMichael Mueller }
3778241744SMichael Mueller 
s390_feat_by_type_and_bit(S390FeatType type,int bit)3878241744SMichael Mueller S390Feat s390_feat_by_type_and_bit(S390FeatType type, int bit)
3978241744SMichael Mueller {
4078241744SMichael Mueller     S390Feat feat;
4178241744SMichael Mueller 
4278241744SMichael Mueller     for (feat = 0; feat < ARRAY_SIZE(s390_features); feat++) {
4378241744SMichael Mueller         if (s390_features[feat].type == type &&
4478241744SMichael Mueller             s390_features[feat].bit == bit) {
4578241744SMichael Mueller             return feat;
4678241744SMichael Mueller         }
4778241744SMichael Mueller     }
4878241744SMichael Mueller     return S390_FEAT_MAX;
4978241744SMichael Mueller }
5078241744SMichael Mueller 
s390_init_feat_bitmap(const S390FeatInit init,S390FeatBitmap bitmap)5178241744SMichael Mueller void s390_init_feat_bitmap(const S390FeatInit init, S390FeatBitmap bitmap)
5278241744SMichael Mueller {
5378241744SMichael Mueller     int i, j;
5478241744SMichael Mueller 
5578241744SMichael Mueller     for (i = 0; i < (S390_FEAT_MAX / 64 + 1); i++) {
5678241744SMichael Mueller         if (init[i]) {
5778241744SMichael Mueller             for (j = 0; j < 64; j++) {
5878241744SMichael Mueller                 if (init[i] & 1ULL << j) {
5978241744SMichael Mueller                     set_bit(i * 64 + j, bitmap);
6078241744SMichael Mueller                 }
6178241744SMichael Mueller             }
6278241744SMichael Mueller         }
6378241744SMichael Mueller     }
6478241744SMichael Mueller }
6578241744SMichael Mueller 
s390_fill_feat_block(const S390FeatBitmap features,S390FeatType type,uint8_t * data)6678241744SMichael Mueller void s390_fill_feat_block(const S390FeatBitmap features, S390FeatType type,
6778241744SMichael Mueller                           uint8_t *data)
6878241744SMichael Mueller {
6978241744SMichael Mueller     S390Feat feat;
7078241744SMichael Mueller     int bit_nr;
7178241744SMichael Mueller 
72cc18f907SDavid Hildenbrand     switch (type) {
73cc18f907SDavid Hildenbrand     case S390_FEAT_TYPE_STFL:
74cc18f907SDavid Hildenbrand         if (test_bit(S390_FEAT_ZARCH, features)) {
75075e52b8SJason J. Herne             /* Features that are always active */
763d1cfc3cSDavid Hildenbrand             set_be_bit(2, data);   /* z/Architecture */
773d1cfc3cSDavid Hildenbrand             set_be_bit(138, data); /* Configuration-z-architectural-mode */
7878241744SMichael Mueller         }
79cc18f907SDavid Hildenbrand         break;
80cc18f907SDavid Hildenbrand     case S390_FEAT_TYPE_PTFF:
81cc18f907SDavid Hildenbrand     case S390_FEAT_TYPE_KMAC:
82cc18f907SDavid Hildenbrand     case S390_FEAT_TYPE_KMC:
83cc18f907SDavid Hildenbrand     case S390_FEAT_TYPE_KM:
84cc18f907SDavid Hildenbrand     case S390_FEAT_TYPE_KIMD:
85cc18f907SDavid Hildenbrand     case S390_FEAT_TYPE_KLMD:
86cc18f907SDavid Hildenbrand     case S390_FEAT_TYPE_PCKMO:
87cc18f907SDavid Hildenbrand     case S390_FEAT_TYPE_KMCTR:
88cc18f907SDavid Hildenbrand     case S390_FEAT_TYPE_KMF:
89cc18f907SDavid Hildenbrand     case S390_FEAT_TYPE_KMO:
90cc18f907SDavid Hildenbrand     case S390_FEAT_TYPE_PCC:
91cc18f907SDavid Hildenbrand     case S390_FEAT_TYPE_PPNO:
92cc18f907SDavid Hildenbrand     case S390_FEAT_TYPE_KMA:
935dacbe23SChristian Borntraeger     case S390_FEAT_TYPE_KDSA:
94d220fabfSChristian Borntraeger     case S390_FEAT_TYPE_SORTL:
95afc7b866SChristian Borntraeger     case S390_FEAT_TYPE_DFLTCC:
96c9ea365dSHendrik Brueckner     case S390_FEAT_TYPE_PFCR:
973d1cfc3cSDavid Hildenbrand         set_be_bit(0, data); /* query is always available */
98cc18f907SDavid Hildenbrand         break;
99cc18f907SDavid Hildenbrand     default:
100cc18f907SDavid Hildenbrand         break;
101cc18f907SDavid Hildenbrand     };
10278241744SMichael Mueller 
10378241744SMichael Mueller     feat = find_first_bit(features, S390_FEAT_MAX);
10478241744SMichael Mueller     while (feat < S390_FEAT_MAX) {
10578241744SMichael Mueller         if (s390_features[feat].type == type) {
10678241744SMichael Mueller             bit_nr = s390_features[feat].bit;
10778241744SMichael Mueller             /* big endian on uint8_t array */
1083d1cfc3cSDavid Hildenbrand             set_be_bit(bit_nr, data);
10978241744SMichael Mueller         }
11078241744SMichael Mueller         feat = find_next_bit(features, S390_FEAT_MAX, feat + 1);
11178241744SMichael Mueller     }
1123ded270aSJanosch Frank 
1133ea7e312SPhilippe Mathieu-Daudé #ifndef CONFIG_USER_ONLY
11410248418SJanosch Frank     if (!s390_is_pv()) {
11510248418SJanosch Frank         return;
11610248418SJanosch Frank     }
11710248418SJanosch Frank 
11810248418SJanosch Frank     /*
11910248418SJanosch Frank      * Some facilities are not available for CPUs in protected mode:
12010248418SJanosch Frank      * - All SIE facilities because SIE is not available
12110248418SJanosch Frank      * - DIAG318
12210248418SJanosch Frank      *
12310248418SJanosch Frank      * As VMs can move in and out of protected mode the CPU model
12410248418SJanosch Frank      * doesn't protect us from that problem because it is only
12510248418SJanosch Frank      * validated at the start of the VM.
12610248418SJanosch Frank      */
12710248418SJanosch Frank     switch (type) {
12810248418SJanosch Frank     case S390_FEAT_TYPE_SCLP_CPU:
12910248418SJanosch Frank         clear_be_bit(s390_feat_def(S390_FEAT_SIE_F2)->bit, data);
13010248418SJanosch Frank         clear_be_bit(s390_feat_def(S390_FEAT_SIE_SKEY)->bit, data);
13110248418SJanosch Frank         clear_be_bit(s390_feat_def(S390_FEAT_SIE_GPERE)->bit, data);
13210248418SJanosch Frank         clear_be_bit(s390_feat_def(S390_FEAT_SIE_SIIF)->bit, data);
13310248418SJanosch Frank         clear_be_bit(s390_feat_def(S390_FEAT_SIE_SIGPIF)->bit, data);
13410248418SJanosch Frank         clear_be_bit(s390_feat_def(S390_FEAT_SIE_IB)->bit, data);
13510248418SJanosch Frank         clear_be_bit(s390_feat_def(S390_FEAT_SIE_CEI)->bit, data);
13610248418SJanosch Frank         break;
13710248418SJanosch Frank     case S390_FEAT_TYPE_SCLP_CONF_CHAR:
13810248418SJanosch Frank         clear_be_bit(s390_feat_def(S390_FEAT_SIE_GSLS)->bit, data);
13910248418SJanosch Frank         clear_be_bit(s390_feat_def(S390_FEAT_HPMA2)->bit, data);
14010248418SJanosch Frank         clear_be_bit(s390_feat_def(S390_FEAT_SIE_KSS)->bit, data);
14110248418SJanosch Frank         break;
14210248418SJanosch Frank     case S390_FEAT_TYPE_SCLP_CONF_CHAR_EXT:
14310248418SJanosch Frank         clear_be_bit(s390_feat_def(S390_FEAT_SIE_64BSCAO)->bit, data);
14410248418SJanosch Frank         clear_be_bit(s390_feat_def(S390_FEAT_SIE_CMMA)->bit, data);
14510248418SJanosch Frank         clear_be_bit(s390_feat_def(S390_FEAT_SIE_PFMFI)->bit, data);
14610248418SJanosch Frank         clear_be_bit(s390_feat_def(S390_FEAT_SIE_IBS)->bit, data);
14710248418SJanosch Frank         break;
14810248418SJanosch Frank     case S390_FEAT_TYPE_SCLP_FAC134:
1493ded270aSJanosch Frank         clear_be_bit(s390_feat_def(S390_FEAT_DIAG_318)->bit, data);
15010248418SJanosch Frank         break;
15110248418SJanosch Frank     default:
15210248418SJanosch Frank         return;
1533ded270aSJanosch Frank     }
1543ea7e312SPhilippe Mathieu-Daudé #endif
15578241744SMichael Mueller }
15678241744SMichael Mueller 
s390_add_from_feat_block(S390FeatBitmap features,S390FeatType type,uint8_t * data)15778241744SMichael Mueller void s390_add_from_feat_block(S390FeatBitmap features, S390FeatType type,
15878241744SMichael Mueller                               uint8_t *data)
15978241744SMichael Mueller {
16078241744SMichael Mueller     int nr_bits, le_bit;
16178241744SMichael Mueller 
16278241744SMichael Mueller     switch (type) {
16378241744SMichael Mueller     case S390_FEAT_TYPE_STFL:
164c547a757SDavid Hildenbrand        nr_bits = 16384;
16578241744SMichael Mueller        break;
16678241744SMichael Mueller     case S390_FEAT_TYPE_PLO:
167d220fabfSChristian Borntraeger     case S390_FEAT_TYPE_SORTL:
168afc7b866SChristian Borntraeger     case S390_FEAT_TYPE_DFLTCC:
16978241744SMichael Mueller        nr_bits = 256;
17078241744SMichael Mueller        break;
17178241744SMichael Mueller     default:
17278241744SMichael Mueller        /* all cpu subfunctions have 128 bit */
17378241744SMichael Mueller        nr_bits = 128;
17478241744SMichael Mueller     };
17578241744SMichael Mueller 
17678241744SMichael Mueller     le_bit = find_first_bit((unsigned long *) data, nr_bits);
17778241744SMichael Mueller     while (le_bit < nr_bits) {
17878241744SMichael Mueller         /* convert the bit number to a big endian bit nr */
17978241744SMichael Mueller         S390Feat feat = s390_feat_by_type_and_bit(type, BE_BIT_NR(le_bit));
18078241744SMichael Mueller         /* ignore unknown bits */
18178241744SMichael Mueller         if (feat < S390_FEAT_MAX) {
18278241744SMichael Mueller             set_bit(feat, features);
18378241744SMichael Mueller         }
18478241744SMichael Mueller         le_bit = find_next_bit((unsigned long *) data, nr_bits, le_bit + 1);
18578241744SMichael Mueller     }
18678241744SMichael Mueller }
18778241744SMichael Mueller 
s390_feat_bitmap_to_ascii(const S390FeatBitmap features,void * opaque,void (* fn)(const char * name,void * opaque))1888b3d6cb1SDavid Hildenbrand void s390_feat_bitmap_to_ascii(const S390FeatBitmap features, void *opaque,
18978241744SMichael Mueller                                void (*fn)(const char *name, void *opaque))
19078241744SMichael Mueller {
1918b3d6cb1SDavid Hildenbrand     S390FeatBitmap bitmap, tmp;
1928b3d6cb1SDavid Hildenbrand     S390FeatGroup group;
19378241744SMichael Mueller     S390Feat feat;
19478241744SMichael Mueller 
1958b3d6cb1SDavid Hildenbrand     bitmap_copy(bitmap, features, S390_FEAT_MAX);
1968b3d6cb1SDavid Hildenbrand 
1978b3d6cb1SDavid Hildenbrand     /* process whole groups first */
1988b3d6cb1SDavid Hildenbrand     for (group = 0; group < S390_FEAT_GROUP_MAX; group++) {
1998b3d6cb1SDavid Hildenbrand         const S390FeatGroupDef *def = s390_feat_group_def(group);
2008b3d6cb1SDavid Hildenbrand 
2018b3d6cb1SDavid Hildenbrand         bitmap_and(tmp, bitmap, def->feat, S390_FEAT_MAX);
2028b3d6cb1SDavid Hildenbrand         if (bitmap_equal(tmp, def->feat, S390_FEAT_MAX)) {
2038b3d6cb1SDavid Hildenbrand             bitmap_andnot(bitmap, bitmap, def->feat, S390_FEAT_MAX);
2048b3d6cb1SDavid Hildenbrand             fn(def->name, opaque);
2058b3d6cb1SDavid Hildenbrand         }
2068b3d6cb1SDavid Hildenbrand     }
2078b3d6cb1SDavid Hildenbrand 
2088b3d6cb1SDavid Hildenbrand     /* report leftovers as separate features */
20978241744SMichael Mueller     feat = find_first_bit(bitmap, S390_FEAT_MAX);
21078241744SMichael Mueller     while (feat < S390_FEAT_MAX) {
21178241744SMichael Mueller         fn(s390_feat_def(feat)->name, opaque);
21278241744SMichael Mueller         feat = find_next_bit(bitmap, S390_FEAT_MAX, feat + 1);
21378241744SMichael Mueller     };
21478241744SMichael Mueller }
2158b3d6cb1SDavid Hildenbrand 
s390_get_deprecated_features(S390FeatBitmap features)2168aa2211eSCollin Walling void s390_get_deprecated_features(S390FeatBitmap features)
2178aa2211eSCollin Walling {
2188aa2211eSCollin Walling     static const int feats[] = {
2198aa2211eSCollin Walling          /* CSSKE is deprecated on newer generations */
2208aa2211eSCollin Walling          S390_FEAT_CONDITIONAL_SSKE,
2218aa2211eSCollin Walling          S390_FEAT_BPB,
2226e55b32dSCollin Walling          /* Deprecated on z16 */
2236e55b32dSCollin Walling          S390_FEAT_CONSTRAINT_TRANSACTIONAL_EXE,
2246e55b32dSCollin Walling          S390_FEAT_TRANSACTIONAL_EXE
2258aa2211eSCollin Walling     };
2268aa2211eSCollin Walling     int i;
2278aa2211eSCollin Walling 
2288aa2211eSCollin Walling     for (i = 0; i < ARRAY_SIZE(feats); i++) {
2298aa2211eSCollin Walling         set_bit(feats[i], features);
2308aa2211eSCollin Walling     }
2318aa2211eSCollin Walling }
2328aa2211eSCollin Walling 
2338b3d6cb1SDavid Hildenbrand #define FEAT_GROUP_INIT(_name, _group, _desc)        \
2348b3d6cb1SDavid Hildenbrand     {                                                \
2358b3d6cb1SDavid Hildenbrand         .name = _name,                               \
2368b3d6cb1SDavid Hildenbrand         .desc = _desc,                               \
2378b3d6cb1SDavid Hildenbrand         .init = { S390_FEAT_GROUP_LIST_ ## _group }, \
2388b3d6cb1SDavid Hildenbrand     }
2398b3d6cb1SDavid Hildenbrand 
2408b3d6cb1SDavid Hildenbrand /* indexed by feature group number for easy lookup */
2418b3d6cb1SDavid Hildenbrand static S390FeatGroupDef s390_feature_groups[] = {
2428b3d6cb1SDavid Hildenbrand     FEAT_GROUP_INIT("plo", PLO, "Perform-locked-operation facility"),
243*393c835eSHendrik Brueckner     FEAT_GROUP_INIT("plo_ext", PLO_EXT, "PLO-extension facility"),
2448b3d6cb1SDavid Hildenbrand     FEAT_GROUP_INIT("tods", TOD_CLOCK_STEERING, "Tod-clock-steering facility"),
2458b3d6cb1SDavid Hildenbrand     FEAT_GROUP_INIT("gen13ptff", GEN13_PTFF, "PTFF enhancements introduced with z13"),
246eba6f491SHendrik Brueckner     FEAT_GROUP_INIT("gen17ptff", GEN17_PTFF, "PTFF enhancements introduced with gen17"),
2478b3d6cb1SDavid Hildenbrand     FEAT_GROUP_INIT("msa", MSA, "Message-security-assist facility"),
2488b3d6cb1SDavid Hildenbrand     FEAT_GROUP_INIT("msa1", MSA_EXT_1, "Message-security-assist-extension 1 facility"),
2498b3d6cb1SDavid Hildenbrand     FEAT_GROUP_INIT("msa2", MSA_EXT_2, "Message-security-assist-extension 2 facility"),
2508b3d6cb1SDavid Hildenbrand     FEAT_GROUP_INIT("msa3", MSA_EXT_3, "Message-security-assist-extension 3 facility"),
2518b3d6cb1SDavid Hildenbrand     FEAT_GROUP_INIT("msa4", MSA_EXT_4, "Message-security-assist-extension 4 facility"),
2528b3d6cb1SDavid Hildenbrand     FEAT_GROUP_INIT("msa5", MSA_EXT_5, "Message-security-assist-extension 5 facility"),
2536da5c593SJason J. Herne     FEAT_GROUP_INIT("msa6", MSA_EXT_6, "Message-security-assist-extension 6 facility"),
2546da5c593SJason J. Herne     FEAT_GROUP_INIT("msa7", MSA_EXT_7, "Message-security-assist-extension 7 facility"),
2556da5c593SJason J. Herne     FEAT_GROUP_INIT("msa8", MSA_EXT_8, "Message-security-assist-extension 8 facility"),
2565dacbe23SChristian Borntraeger     FEAT_GROUP_INIT("msa9", MSA_EXT_9, "Message-security-assist-extension 9 facility"),
2575dacbe23SChristian Borntraeger     FEAT_GROUP_INIT("msa9_pckmo", MSA_EXT_9_PCKMO, "Message-security-assist-extension 9 PCKMO subfunctions"),
2581029cd5bSHendrik Brueckner     FEAT_GROUP_INIT("msa10", MSA_EXT_10, "Message-security-assist-extension 10 facility"),
2591029cd5bSHendrik Brueckner     FEAT_GROUP_INIT("msa10_pckmo", MSA_EXT_10_PCKMO, "Message-security-assist-extension 10 PCKMO subfunctions"),
26011dc9020SHendrik Brueckner     FEAT_GROUP_INIT("msa11", MSA_EXT_11, "Message-security-assist-extension 11 facility"),
26111dc9020SHendrik Brueckner     FEAT_GROUP_INIT("msa11_pckmo", MSA_EXT_11_PCKMO, "Message-security-assist-extension 11 PCKMO subfunctions"),
262496fc02eSHendrik Brueckner     FEAT_GROUP_INIT("msa12", MSA_EXT_12, "Message-security-assist-extension 12 facility"),
263ba4614fdSHendrik Brueckner     FEAT_GROUP_INIT("msa13", MSA_EXT_13, "Message-security-assist-extension 13 facility"),
264ba4614fdSHendrik Brueckner     FEAT_GROUP_INIT("msa13_pckmo", MSA_EXT_13_PCKMO, "Message-security-assist-extension 13 PCKMO subfunctions"),
265ddf5d18aSCollin Walling     FEAT_GROUP_INIT("mepochptff", MULTIPLE_EPOCH_PTFF, "PTFF enhancements introduced with Multiple-epoch facility"),
266d220fabfSChristian Borntraeger     FEAT_GROUP_INIT("esort", ENH_SORT, "Enhanced-sort facility"),
267afc7b866SChristian Borntraeger     FEAT_GROUP_INIT("deflate", DEFLATE_CONVERSION, "Deflate-conversion facility"),
268c9ea365dSHendrik Brueckner     FEAT_GROUP_INIT("ccf", CONCURRENT_FUNCTIONS, "Concurrent-functions facility"),
2698b3d6cb1SDavid Hildenbrand };
2708b3d6cb1SDavid Hildenbrand 
s390_feat_group_def(S390FeatGroup group)2718b3d6cb1SDavid Hildenbrand const S390FeatGroupDef *s390_feat_group_def(S390FeatGroup group)
2728b3d6cb1SDavid Hildenbrand {
2738b3d6cb1SDavid Hildenbrand     return &s390_feature_groups[group];
2748b3d6cb1SDavid Hildenbrand }
2758b3d6cb1SDavid Hildenbrand 
init_groups(void)2768b3d6cb1SDavid Hildenbrand static void init_groups(void)
2778b3d6cb1SDavid Hildenbrand {
2788b3d6cb1SDavid Hildenbrand     int i;
2798b3d6cb1SDavid Hildenbrand 
280cced0d65SMichael Tokarev     /* init all bitmaps from generated data initially */
2818b3d6cb1SDavid Hildenbrand     for (i = 0; i < ARRAY_SIZE(s390_feature_groups); i++) {
2828b3d6cb1SDavid Hildenbrand         s390_init_feat_bitmap(s390_feature_groups[i].init,
2838b3d6cb1SDavid Hildenbrand                               s390_feature_groups[i].feat);
2848b3d6cb1SDavid Hildenbrand     }
2858b3d6cb1SDavid Hildenbrand }
2868b3d6cb1SDavid Hildenbrand 
2878b3d6cb1SDavid Hildenbrand type_init(init_groups)
288