xref: /qemu/target/s390x/cpu_features.c (revision 10248418b4bd01e18dc5cb4333e19f0b65338faf)
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"
173ded270aSJanosch Frank #include "hw/s390x/pv.h"
1878241744SMichael Mueller 
19220ae900SDavid Hildenbrand #define DEF_FEAT(_FEAT, _NAME, _TYPE, _BIT, _DESC) \
20220ae900SDavid Hildenbrand     [S390_FEAT_##_FEAT] = {                        \
21220ae900SDavid Hildenbrand         .name = _NAME,                             \
22220ae900SDavid Hildenbrand         .type = S390_FEAT_TYPE_##_TYPE,            \
23220ae900SDavid Hildenbrand         .bit = _BIT,                               \
24220ae900SDavid Hildenbrand         .desc = _DESC,                             \
25220ae900SDavid Hildenbrand     },
26220ae900SDavid Hildenbrand static const S390FeatDef s390_features[S390_FEAT_MAX] = {
270979ed01SPaolo Bonzini     #include "cpu_features_def.h.inc"
2878241744SMichael Mueller };
29220ae900SDavid Hildenbrand #undef DEF_FEAT
3078241744SMichael Mueller 
3178241744SMichael Mueller const S390FeatDef *s390_feat_def(S390Feat feat)
3278241744SMichael Mueller {
3378241744SMichael Mueller     return &s390_features[feat];
3478241744SMichael Mueller }
3578241744SMichael Mueller 
3678241744SMichael Mueller S390Feat s390_feat_by_type_and_bit(S390FeatType type, int bit)
3778241744SMichael Mueller {
3878241744SMichael Mueller     S390Feat feat;
3978241744SMichael Mueller 
4078241744SMichael Mueller     for (feat = 0; feat < ARRAY_SIZE(s390_features); feat++) {
4178241744SMichael Mueller         if (s390_features[feat].type == type &&
4278241744SMichael Mueller             s390_features[feat].bit == bit) {
4378241744SMichael Mueller             return feat;
4478241744SMichael Mueller         }
4578241744SMichael Mueller     }
4678241744SMichael Mueller     return S390_FEAT_MAX;
4778241744SMichael Mueller }
4878241744SMichael Mueller 
4978241744SMichael Mueller void s390_init_feat_bitmap(const S390FeatInit init, S390FeatBitmap bitmap)
5078241744SMichael Mueller {
5178241744SMichael Mueller     int i, j;
5278241744SMichael Mueller 
5378241744SMichael Mueller     for (i = 0; i < (S390_FEAT_MAX / 64 + 1); i++) {
5478241744SMichael Mueller         if (init[i]) {
5578241744SMichael Mueller             for (j = 0; j < 64; j++) {
5678241744SMichael Mueller                 if (init[i] & 1ULL << j) {
5778241744SMichael Mueller                     set_bit(i * 64 + j, bitmap);
5878241744SMichael Mueller                 }
5978241744SMichael Mueller             }
6078241744SMichael Mueller         }
6178241744SMichael Mueller     }
6278241744SMichael Mueller }
6378241744SMichael Mueller 
6478241744SMichael Mueller void s390_fill_feat_block(const S390FeatBitmap features, S390FeatType type,
6578241744SMichael Mueller                           uint8_t *data)
6678241744SMichael Mueller {
6778241744SMichael Mueller     S390Feat feat;
6878241744SMichael Mueller     int bit_nr;
6978241744SMichael Mueller 
70cc18f907SDavid Hildenbrand     switch (type) {
71cc18f907SDavid Hildenbrand     case S390_FEAT_TYPE_STFL:
72cc18f907SDavid Hildenbrand         if (test_bit(S390_FEAT_ZARCH, features)) {
73075e52b8SJason J. Herne             /* Features that are always active */
743d1cfc3cSDavid Hildenbrand             set_be_bit(2, data);   /* z/Architecture */
753d1cfc3cSDavid Hildenbrand             set_be_bit(138, data); /* Configuration-z-architectural-mode */
7678241744SMichael Mueller         }
77cc18f907SDavid Hildenbrand         break;
78cc18f907SDavid Hildenbrand     case S390_FEAT_TYPE_PTFF:
79cc18f907SDavid Hildenbrand     case S390_FEAT_TYPE_KMAC:
80cc18f907SDavid Hildenbrand     case S390_FEAT_TYPE_KMC:
81cc18f907SDavid Hildenbrand     case S390_FEAT_TYPE_KM:
82cc18f907SDavid Hildenbrand     case S390_FEAT_TYPE_KIMD:
83cc18f907SDavid Hildenbrand     case S390_FEAT_TYPE_KLMD:
84cc18f907SDavid Hildenbrand     case S390_FEAT_TYPE_PCKMO:
85cc18f907SDavid Hildenbrand     case S390_FEAT_TYPE_KMCTR:
86cc18f907SDavid Hildenbrand     case S390_FEAT_TYPE_KMF:
87cc18f907SDavid Hildenbrand     case S390_FEAT_TYPE_KMO:
88cc18f907SDavid Hildenbrand     case S390_FEAT_TYPE_PCC:
89cc18f907SDavid Hildenbrand     case S390_FEAT_TYPE_PPNO:
90cc18f907SDavid Hildenbrand     case S390_FEAT_TYPE_KMA:
915dacbe23SChristian Borntraeger     case S390_FEAT_TYPE_KDSA:
92d220fabfSChristian Borntraeger     case S390_FEAT_TYPE_SORTL:
93afc7b866SChristian Borntraeger     case S390_FEAT_TYPE_DFLTCC:
943d1cfc3cSDavid Hildenbrand         set_be_bit(0, data); /* query is always available */
95cc18f907SDavid Hildenbrand         break;
96cc18f907SDavid Hildenbrand     default:
97cc18f907SDavid Hildenbrand         break;
98cc18f907SDavid Hildenbrand     };
9978241744SMichael Mueller 
10078241744SMichael Mueller     feat = find_first_bit(features, S390_FEAT_MAX);
10178241744SMichael Mueller     while (feat < S390_FEAT_MAX) {
10278241744SMichael Mueller         if (s390_features[feat].type == type) {
10378241744SMichael Mueller             bit_nr = s390_features[feat].bit;
10478241744SMichael Mueller             /* big endian on uint8_t array */
1053d1cfc3cSDavid Hildenbrand             set_be_bit(bit_nr, data);
10678241744SMichael Mueller         }
10778241744SMichael Mueller         feat = find_next_bit(features, S390_FEAT_MAX, feat + 1);
10878241744SMichael Mueller     }
1093ded270aSJanosch Frank 
110*10248418SJanosch Frank     if (!s390_is_pv()) {
111*10248418SJanosch Frank         return;
112*10248418SJanosch Frank     }
113*10248418SJanosch Frank 
114*10248418SJanosch Frank     /*
115*10248418SJanosch Frank      * Some facilities are not available for CPUs in protected mode:
116*10248418SJanosch Frank      * - All SIE facilities because SIE is not available
117*10248418SJanosch Frank      * - DIAG318
118*10248418SJanosch Frank      *
119*10248418SJanosch Frank      * As VMs can move in and out of protected mode the CPU model
120*10248418SJanosch Frank      * doesn't protect us from that problem because it is only
121*10248418SJanosch Frank      * validated at the start of the VM.
122*10248418SJanosch Frank      */
123*10248418SJanosch Frank     switch (type) {
124*10248418SJanosch Frank     case S390_FEAT_TYPE_SCLP_CPU:
125*10248418SJanosch Frank         clear_be_bit(s390_feat_def(S390_FEAT_SIE_F2)->bit, data);
126*10248418SJanosch Frank         clear_be_bit(s390_feat_def(S390_FEAT_SIE_SKEY)->bit, data);
127*10248418SJanosch Frank         clear_be_bit(s390_feat_def(S390_FEAT_SIE_GPERE)->bit, data);
128*10248418SJanosch Frank         clear_be_bit(s390_feat_def(S390_FEAT_SIE_SIIF)->bit, data);
129*10248418SJanosch Frank         clear_be_bit(s390_feat_def(S390_FEAT_SIE_SIGPIF)->bit, data);
130*10248418SJanosch Frank         clear_be_bit(s390_feat_def(S390_FEAT_SIE_IB)->bit, data);
131*10248418SJanosch Frank         clear_be_bit(s390_feat_def(S390_FEAT_SIE_CEI)->bit, data);
132*10248418SJanosch Frank         break;
133*10248418SJanosch Frank     case S390_FEAT_TYPE_SCLP_CONF_CHAR:
134*10248418SJanosch Frank         clear_be_bit(s390_feat_def(S390_FEAT_SIE_GSLS)->bit, data);
135*10248418SJanosch Frank         clear_be_bit(s390_feat_def(S390_FEAT_HPMA2)->bit, data);
136*10248418SJanosch Frank         clear_be_bit(s390_feat_def(S390_FEAT_SIE_KSS)->bit, data);
137*10248418SJanosch Frank         break;
138*10248418SJanosch Frank     case S390_FEAT_TYPE_SCLP_CONF_CHAR_EXT:
139*10248418SJanosch Frank         clear_be_bit(s390_feat_def(S390_FEAT_SIE_64BSCAO)->bit, data);
140*10248418SJanosch Frank         clear_be_bit(s390_feat_def(S390_FEAT_SIE_CMMA)->bit, data);
141*10248418SJanosch Frank         clear_be_bit(s390_feat_def(S390_FEAT_SIE_PFMFI)->bit, data);
142*10248418SJanosch Frank         clear_be_bit(s390_feat_def(S390_FEAT_SIE_IBS)->bit, data);
143*10248418SJanosch Frank         break;
144*10248418SJanosch Frank     case S390_FEAT_TYPE_SCLP_FAC134:
1453ded270aSJanosch Frank         clear_be_bit(s390_feat_def(S390_FEAT_DIAG_318)->bit, data);
146*10248418SJanosch Frank         break;
147*10248418SJanosch Frank     default:
148*10248418SJanosch Frank         return;
1493ded270aSJanosch Frank     }
15078241744SMichael Mueller }
15178241744SMichael Mueller 
15278241744SMichael Mueller void s390_add_from_feat_block(S390FeatBitmap features, S390FeatType type,
15378241744SMichael Mueller                               uint8_t *data)
15478241744SMichael Mueller {
15578241744SMichael Mueller     int nr_bits, le_bit;
15678241744SMichael Mueller 
15778241744SMichael Mueller     switch (type) {
15878241744SMichael Mueller     case S390_FEAT_TYPE_STFL:
159c547a757SDavid Hildenbrand        nr_bits = 16384;
16078241744SMichael Mueller        break;
16178241744SMichael Mueller     case S390_FEAT_TYPE_PLO:
162d220fabfSChristian Borntraeger     case S390_FEAT_TYPE_SORTL:
163afc7b866SChristian Borntraeger     case S390_FEAT_TYPE_DFLTCC:
16478241744SMichael Mueller        nr_bits = 256;
16578241744SMichael Mueller        break;
16678241744SMichael Mueller     default:
16778241744SMichael Mueller        /* all cpu subfunctions have 128 bit */
16878241744SMichael Mueller        nr_bits = 128;
16978241744SMichael Mueller     };
17078241744SMichael Mueller 
17178241744SMichael Mueller     le_bit = find_first_bit((unsigned long *) data, nr_bits);
17278241744SMichael Mueller     while (le_bit < nr_bits) {
17378241744SMichael Mueller         /* convert the bit number to a big endian bit nr */
17478241744SMichael Mueller         S390Feat feat = s390_feat_by_type_and_bit(type, BE_BIT_NR(le_bit));
17578241744SMichael Mueller         /* ignore unknown bits */
17678241744SMichael Mueller         if (feat < S390_FEAT_MAX) {
17778241744SMichael Mueller             set_bit(feat, features);
17878241744SMichael Mueller         }
17978241744SMichael Mueller         le_bit = find_next_bit((unsigned long *) data, nr_bits, le_bit + 1);
18078241744SMichael Mueller     }
18178241744SMichael Mueller }
18278241744SMichael Mueller 
1838b3d6cb1SDavid Hildenbrand void s390_feat_bitmap_to_ascii(const S390FeatBitmap features, void *opaque,
18478241744SMichael Mueller                                void (*fn)(const char *name, void *opaque))
18578241744SMichael Mueller {
1868b3d6cb1SDavid Hildenbrand     S390FeatBitmap bitmap, tmp;
1878b3d6cb1SDavid Hildenbrand     S390FeatGroup group;
18878241744SMichael Mueller     S390Feat feat;
18978241744SMichael Mueller 
1908b3d6cb1SDavid Hildenbrand     bitmap_copy(bitmap, features, S390_FEAT_MAX);
1918b3d6cb1SDavid Hildenbrand 
1928b3d6cb1SDavid Hildenbrand     /* process whole groups first */
1938b3d6cb1SDavid Hildenbrand     for (group = 0; group < S390_FEAT_GROUP_MAX; group++) {
1948b3d6cb1SDavid Hildenbrand         const S390FeatGroupDef *def = s390_feat_group_def(group);
1958b3d6cb1SDavid Hildenbrand 
1968b3d6cb1SDavid Hildenbrand         bitmap_and(tmp, bitmap, def->feat, S390_FEAT_MAX);
1978b3d6cb1SDavid Hildenbrand         if (bitmap_equal(tmp, def->feat, S390_FEAT_MAX)) {
1988b3d6cb1SDavid Hildenbrand             bitmap_andnot(bitmap, bitmap, def->feat, S390_FEAT_MAX);
1998b3d6cb1SDavid Hildenbrand             fn(def->name, opaque);
2008b3d6cb1SDavid Hildenbrand         }
2018b3d6cb1SDavid Hildenbrand     }
2028b3d6cb1SDavid Hildenbrand 
2038b3d6cb1SDavid Hildenbrand     /* report leftovers as separate features */
20478241744SMichael Mueller     feat = find_first_bit(bitmap, S390_FEAT_MAX);
20578241744SMichael Mueller     while (feat < S390_FEAT_MAX) {
20678241744SMichael Mueller         fn(s390_feat_def(feat)->name, opaque);
20778241744SMichael Mueller         feat = find_next_bit(bitmap, S390_FEAT_MAX, feat + 1);
20878241744SMichael Mueller     };
20978241744SMichael Mueller }
2108b3d6cb1SDavid Hildenbrand 
2118b3d6cb1SDavid Hildenbrand #define FEAT_GROUP_INIT(_name, _group, _desc)        \
2128b3d6cb1SDavid Hildenbrand     {                                                \
2138b3d6cb1SDavid Hildenbrand         .name = _name,                               \
2148b3d6cb1SDavid Hildenbrand         .desc = _desc,                               \
2158b3d6cb1SDavid Hildenbrand         .init = { S390_FEAT_GROUP_LIST_ ## _group }, \
2168b3d6cb1SDavid Hildenbrand     }
2178b3d6cb1SDavid Hildenbrand 
2188b3d6cb1SDavid Hildenbrand /* indexed by feature group number for easy lookup */
2198b3d6cb1SDavid Hildenbrand static S390FeatGroupDef s390_feature_groups[] = {
2208b3d6cb1SDavid Hildenbrand     FEAT_GROUP_INIT("plo", PLO, "Perform-locked-operation facility"),
2218b3d6cb1SDavid Hildenbrand     FEAT_GROUP_INIT("tods", TOD_CLOCK_STEERING, "Tod-clock-steering facility"),
2228b3d6cb1SDavid Hildenbrand     FEAT_GROUP_INIT("gen13ptff", GEN13_PTFF, "PTFF enhancements introduced with z13"),
2238b3d6cb1SDavid Hildenbrand     FEAT_GROUP_INIT("msa", MSA, "Message-security-assist facility"),
2248b3d6cb1SDavid Hildenbrand     FEAT_GROUP_INIT("msa1", MSA_EXT_1, "Message-security-assist-extension 1 facility"),
2258b3d6cb1SDavid Hildenbrand     FEAT_GROUP_INIT("msa2", MSA_EXT_2, "Message-security-assist-extension 2 facility"),
2268b3d6cb1SDavid Hildenbrand     FEAT_GROUP_INIT("msa3", MSA_EXT_3, "Message-security-assist-extension 3 facility"),
2278b3d6cb1SDavid Hildenbrand     FEAT_GROUP_INIT("msa4", MSA_EXT_4, "Message-security-assist-extension 4 facility"),
2288b3d6cb1SDavid Hildenbrand     FEAT_GROUP_INIT("msa5", MSA_EXT_5, "Message-security-assist-extension 5 facility"),
2296da5c593SJason J. Herne     FEAT_GROUP_INIT("msa6", MSA_EXT_6, "Message-security-assist-extension 6 facility"),
2306da5c593SJason J. Herne     FEAT_GROUP_INIT("msa7", MSA_EXT_7, "Message-security-assist-extension 7 facility"),
2316da5c593SJason J. Herne     FEAT_GROUP_INIT("msa8", MSA_EXT_8, "Message-security-assist-extension 8 facility"),
2325dacbe23SChristian Borntraeger     FEAT_GROUP_INIT("msa9", MSA_EXT_9, "Message-security-assist-extension 9 facility"),
2335dacbe23SChristian Borntraeger     FEAT_GROUP_INIT("msa9_pckmo", MSA_EXT_9_PCKMO, "Message-security-assist-extension 9 PCKMO subfunctions"),
234ddf5d18aSCollin Walling     FEAT_GROUP_INIT("mepochptff", MULTIPLE_EPOCH_PTFF, "PTFF enhancements introduced with Multiple-epoch facility"),
235d220fabfSChristian Borntraeger     FEAT_GROUP_INIT("esort", ENH_SORT, "Enhanced-sort facility"),
236afc7b866SChristian Borntraeger     FEAT_GROUP_INIT("deflate", DEFLATE_CONVERSION, "Deflate-conversion facility"),
2378b3d6cb1SDavid Hildenbrand };
2388b3d6cb1SDavid Hildenbrand 
2398b3d6cb1SDavid Hildenbrand const S390FeatGroupDef *s390_feat_group_def(S390FeatGroup group)
2408b3d6cb1SDavid Hildenbrand {
2418b3d6cb1SDavid Hildenbrand     return &s390_feature_groups[group];
2428b3d6cb1SDavid Hildenbrand }
2438b3d6cb1SDavid Hildenbrand 
2448b3d6cb1SDavid Hildenbrand static void init_groups(void)
2458b3d6cb1SDavid Hildenbrand {
2468b3d6cb1SDavid Hildenbrand     int i;
2478b3d6cb1SDavid Hildenbrand 
2488b3d6cb1SDavid Hildenbrand     /* init all bitmaps from gnerated data initially */
2498b3d6cb1SDavid Hildenbrand     for (i = 0; i < ARRAY_SIZE(s390_feature_groups); i++) {
2508b3d6cb1SDavid Hildenbrand         s390_init_feat_bitmap(s390_feature_groups[i].init,
2518b3d6cb1SDavid Hildenbrand                               s390_feature_groups[i].feat);
2528b3d6cb1SDavid Hildenbrand     }
2538b3d6cb1SDavid Hildenbrand }
2548b3d6cb1SDavid Hildenbrand 
2558b3d6cb1SDavid Hildenbrand type_init(init_groups)
256