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 3378241744SMichael Mueller const S390FeatDef *s390_feat_def(S390Feat feat) 3478241744SMichael Mueller { 3578241744SMichael Mueller return &s390_features[feat]; 3678241744SMichael Mueller } 3778241744SMichael Mueller 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 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 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: 96*c9ea365dSHendrik 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 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 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 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"), 2438b3d6cb1SDavid Hildenbrand FEAT_GROUP_INIT("tods", TOD_CLOCK_STEERING, "Tod-clock-steering facility"), 2448b3d6cb1SDavid Hildenbrand FEAT_GROUP_INIT("gen13ptff", GEN13_PTFF, "PTFF enhancements introduced with z13"), 245eba6f491SHendrik Brueckner FEAT_GROUP_INIT("gen17ptff", GEN17_PTFF, "PTFF enhancements introduced with gen17"), 2468b3d6cb1SDavid Hildenbrand FEAT_GROUP_INIT("msa", MSA, "Message-security-assist facility"), 2478b3d6cb1SDavid Hildenbrand FEAT_GROUP_INIT("msa1", MSA_EXT_1, "Message-security-assist-extension 1 facility"), 2488b3d6cb1SDavid Hildenbrand FEAT_GROUP_INIT("msa2", MSA_EXT_2, "Message-security-assist-extension 2 facility"), 2498b3d6cb1SDavid Hildenbrand FEAT_GROUP_INIT("msa3", MSA_EXT_3, "Message-security-assist-extension 3 facility"), 2508b3d6cb1SDavid Hildenbrand FEAT_GROUP_INIT("msa4", MSA_EXT_4, "Message-security-assist-extension 4 facility"), 2518b3d6cb1SDavid Hildenbrand FEAT_GROUP_INIT("msa5", MSA_EXT_5, "Message-security-assist-extension 5 facility"), 2526da5c593SJason J. Herne FEAT_GROUP_INIT("msa6", MSA_EXT_6, "Message-security-assist-extension 6 facility"), 2536da5c593SJason J. Herne FEAT_GROUP_INIT("msa7", MSA_EXT_7, "Message-security-assist-extension 7 facility"), 2546da5c593SJason J. Herne FEAT_GROUP_INIT("msa8", MSA_EXT_8, "Message-security-assist-extension 8 facility"), 2555dacbe23SChristian Borntraeger FEAT_GROUP_INIT("msa9", MSA_EXT_9, "Message-security-assist-extension 9 facility"), 2565dacbe23SChristian Borntraeger FEAT_GROUP_INIT("msa9_pckmo", MSA_EXT_9_PCKMO, "Message-security-assist-extension 9 PCKMO subfunctions"), 2571029cd5bSHendrik Brueckner FEAT_GROUP_INIT("msa10", MSA_EXT_10, "Message-security-assist-extension 10 facility"), 2581029cd5bSHendrik Brueckner FEAT_GROUP_INIT("msa10_pckmo", MSA_EXT_10_PCKMO, "Message-security-assist-extension 10 PCKMO subfunctions"), 25911dc9020SHendrik Brueckner FEAT_GROUP_INIT("msa11", MSA_EXT_11, "Message-security-assist-extension 11 facility"), 26011dc9020SHendrik Brueckner FEAT_GROUP_INIT("msa11_pckmo", MSA_EXT_11_PCKMO, "Message-security-assist-extension 11 PCKMO subfunctions"), 261496fc02eSHendrik Brueckner FEAT_GROUP_INIT("msa12", MSA_EXT_12, "Message-security-assist-extension 12 facility"), 262ba4614fdSHendrik Brueckner FEAT_GROUP_INIT("msa13", MSA_EXT_13, "Message-security-assist-extension 13 facility"), 263ba4614fdSHendrik Brueckner FEAT_GROUP_INIT("msa13_pckmo", MSA_EXT_13_PCKMO, "Message-security-assist-extension 13 PCKMO subfunctions"), 264ddf5d18aSCollin Walling FEAT_GROUP_INIT("mepochptff", MULTIPLE_EPOCH_PTFF, "PTFF enhancements introduced with Multiple-epoch facility"), 265d220fabfSChristian Borntraeger FEAT_GROUP_INIT("esort", ENH_SORT, "Enhanced-sort facility"), 266afc7b866SChristian Borntraeger FEAT_GROUP_INIT("deflate", DEFLATE_CONVERSION, "Deflate-conversion facility"), 267*c9ea365dSHendrik Brueckner FEAT_GROUP_INIT("ccf", CONCURRENT_FUNCTIONS, "Concurrent-functions facility"), 2688b3d6cb1SDavid Hildenbrand }; 2698b3d6cb1SDavid Hildenbrand 2708b3d6cb1SDavid Hildenbrand const S390FeatGroupDef *s390_feat_group_def(S390FeatGroup group) 2718b3d6cb1SDavid Hildenbrand { 2728b3d6cb1SDavid Hildenbrand return &s390_feature_groups[group]; 2738b3d6cb1SDavid Hildenbrand } 2748b3d6cb1SDavid Hildenbrand 2758b3d6cb1SDavid Hildenbrand static void init_groups(void) 2768b3d6cb1SDavid Hildenbrand { 2778b3d6cb1SDavid Hildenbrand int i; 2788b3d6cb1SDavid Hildenbrand 279cced0d65SMichael Tokarev /* init all bitmaps from generated data initially */ 2808b3d6cb1SDavid Hildenbrand for (i = 0; i < ARRAY_SIZE(s390_feature_groups); i++) { 2818b3d6cb1SDavid Hildenbrand s390_init_feat_bitmap(s390_feature_groups[i].init, 2828b3d6cb1SDavid Hildenbrand s390_feature_groups[i].feat); 2838b3d6cb1SDavid Hildenbrand } 2848b3d6cb1SDavid Hildenbrand } 2858b3d6cb1SDavid Hildenbrand 2868b3d6cb1SDavid Hildenbrand type_init(init_groups) 287