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: 963d1cfc3cSDavid Hildenbrand set_be_bit(0, data); /* query is always available */ 97cc18f907SDavid Hildenbrand break; 98cc18f907SDavid Hildenbrand default: 99cc18f907SDavid Hildenbrand break; 100cc18f907SDavid Hildenbrand }; 10178241744SMichael Mueller 10278241744SMichael Mueller feat = find_first_bit(features, S390_FEAT_MAX); 10378241744SMichael Mueller while (feat < S390_FEAT_MAX) { 10478241744SMichael Mueller if (s390_features[feat].type == type) { 10578241744SMichael Mueller bit_nr = s390_features[feat].bit; 10678241744SMichael Mueller /* big endian on uint8_t array */ 1073d1cfc3cSDavid Hildenbrand set_be_bit(bit_nr, data); 10878241744SMichael Mueller } 10978241744SMichael Mueller feat = find_next_bit(features, S390_FEAT_MAX, feat + 1); 11078241744SMichael Mueller } 1113ded270aSJanosch Frank 1123ea7e312SPhilippe Mathieu-Daudé #ifndef CONFIG_USER_ONLY 11310248418SJanosch Frank if (!s390_is_pv()) { 11410248418SJanosch Frank return; 11510248418SJanosch Frank } 11610248418SJanosch Frank 11710248418SJanosch Frank /* 11810248418SJanosch Frank * Some facilities are not available for CPUs in protected mode: 11910248418SJanosch Frank * - All SIE facilities because SIE is not available 12010248418SJanosch Frank * - DIAG318 12110248418SJanosch Frank * 12210248418SJanosch Frank * As VMs can move in and out of protected mode the CPU model 12310248418SJanosch Frank * doesn't protect us from that problem because it is only 12410248418SJanosch Frank * validated at the start of the VM. 12510248418SJanosch Frank */ 12610248418SJanosch Frank switch (type) { 12710248418SJanosch Frank case S390_FEAT_TYPE_SCLP_CPU: 12810248418SJanosch Frank clear_be_bit(s390_feat_def(S390_FEAT_SIE_F2)->bit, data); 12910248418SJanosch Frank clear_be_bit(s390_feat_def(S390_FEAT_SIE_SKEY)->bit, data); 13010248418SJanosch Frank clear_be_bit(s390_feat_def(S390_FEAT_SIE_GPERE)->bit, data); 13110248418SJanosch Frank clear_be_bit(s390_feat_def(S390_FEAT_SIE_SIIF)->bit, data); 13210248418SJanosch Frank clear_be_bit(s390_feat_def(S390_FEAT_SIE_SIGPIF)->bit, data); 13310248418SJanosch Frank clear_be_bit(s390_feat_def(S390_FEAT_SIE_IB)->bit, data); 13410248418SJanosch Frank clear_be_bit(s390_feat_def(S390_FEAT_SIE_CEI)->bit, data); 13510248418SJanosch Frank break; 13610248418SJanosch Frank case S390_FEAT_TYPE_SCLP_CONF_CHAR: 13710248418SJanosch Frank clear_be_bit(s390_feat_def(S390_FEAT_SIE_GSLS)->bit, data); 13810248418SJanosch Frank clear_be_bit(s390_feat_def(S390_FEAT_HPMA2)->bit, data); 13910248418SJanosch Frank clear_be_bit(s390_feat_def(S390_FEAT_SIE_KSS)->bit, data); 14010248418SJanosch Frank break; 14110248418SJanosch Frank case S390_FEAT_TYPE_SCLP_CONF_CHAR_EXT: 14210248418SJanosch Frank clear_be_bit(s390_feat_def(S390_FEAT_SIE_64BSCAO)->bit, data); 14310248418SJanosch Frank clear_be_bit(s390_feat_def(S390_FEAT_SIE_CMMA)->bit, data); 14410248418SJanosch Frank clear_be_bit(s390_feat_def(S390_FEAT_SIE_PFMFI)->bit, data); 14510248418SJanosch Frank clear_be_bit(s390_feat_def(S390_FEAT_SIE_IBS)->bit, data); 14610248418SJanosch Frank break; 14710248418SJanosch Frank case S390_FEAT_TYPE_SCLP_FAC134: 1483ded270aSJanosch Frank clear_be_bit(s390_feat_def(S390_FEAT_DIAG_318)->bit, data); 14910248418SJanosch Frank break; 15010248418SJanosch Frank default: 15110248418SJanosch Frank return; 1523ded270aSJanosch Frank } 1533ea7e312SPhilippe Mathieu-Daudé #endif 15478241744SMichael Mueller } 15578241744SMichael Mueller 15678241744SMichael Mueller void s390_add_from_feat_block(S390FeatBitmap features, S390FeatType type, 15778241744SMichael Mueller uint8_t *data) 15878241744SMichael Mueller { 15978241744SMichael Mueller int nr_bits, le_bit; 16078241744SMichael Mueller 16178241744SMichael Mueller switch (type) { 16278241744SMichael Mueller case S390_FEAT_TYPE_STFL: 163c547a757SDavid Hildenbrand nr_bits = 16384; 16478241744SMichael Mueller break; 16578241744SMichael Mueller case S390_FEAT_TYPE_PLO: 166d220fabfSChristian Borntraeger case S390_FEAT_TYPE_SORTL: 167afc7b866SChristian Borntraeger case S390_FEAT_TYPE_DFLTCC: 16878241744SMichael Mueller nr_bits = 256; 16978241744SMichael Mueller break; 17078241744SMichael Mueller default: 17178241744SMichael Mueller /* all cpu subfunctions have 128 bit */ 17278241744SMichael Mueller nr_bits = 128; 17378241744SMichael Mueller }; 17478241744SMichael Mueller 17578241744SMichael Mueller le_bit = find_first_bit((unsigned long *) data, nr_bits); 17678241744SMichael Mueller while (le_bit < nr_bits) { 17778241744SMichael Mueller /* convert the bit number to a big endian bit nr */ 17878241744SMichael Mueller S390Feat feat = s390_feat_by_type_and_bit(type, BE_BIT_NR(le_bit)); 17978241744SMichael Mueller /* ignore unknown bits */ 18078241744SMichael Mueller if (feat < S390_FEAT_MAX) { 18178241744SMichael Mueller set_bit(feat, features); 18278241744SMichael Mueller } 18378241744SMichael Mueller le_bit = find_next_bit((unsigned long *) data, nr_bits, le_bit + 1); 18478241744SMichael Mueller } 18578241744SMichael Mueller } 18678241744SMichael Mueller 1878b3d6cb1SDavid Hildenbrand void s390_feat_bitmap_to_ascii(const S390FeatBitmap features, void *opaque, 18878241744SMichael Mueller void (*fn)(const char *name, void *opaque)) 18978241744SMichael Mueller { 1908b3d6cb1SDavid Hildenbrand S390FeatBitmap bitmap, tmp; 1918b3d6cb1SDavid Hildenbrand S390FeatGroup group; 19278241744SMichael Mueller S390Feat feat; 19378241744SMichael Mueller 1948b3d6cb1SDavid Hildenbrand bitmap_copy(bitmap, features, S390_FEAT_MAX); 1958b3d6cb1SDavid Hildenbrand 1968b3d6cb1SDavid Hildenbrand /* process whole groups first */ 1978b3d6cb1SDavid Hildenbrand for (group = 0; group < S390_FEAT_GROUP_MAX; group++) { 1988b3d6cb1SDavid Hildenbrand const S390FeatGroupDef *def = s390_feat_group_def(group); 1998b3d6cb1SDavid Hildenbrand 2008b3d6cb1SDavid Hildenbrand bitmap_and(tmp, bitmap, def->feat, S390_FEAT_MAX); 2018b3d6cb1SDavid Hildenbrand if (bitmap_equal(tmp, def->feat, S390_FEAT_MAX)) { 2028b3d6cb1SDavid Hildenbrand bitmap_andnot(bitmap, bitmap, def->feat, S390_FEAT_MAX); 2038b3d6cb1SDavid Hildenbrand fn(def->name, opaque); 2048b3d6cb1SDavid Hildenbrand } 2058b3d6cb1SDavid Hildenbrand } 2068b3d6cb1SDavid Hildenbrand 2078b3d6cb1SDavid Hildenbrand /* report leftovers as separate features */ 20878241744SMichael Mueller feat = find_first_bit(bitmap, S390_FEAT_MAX); 20978241744SMichael Mueller while (feat < S390_FEAT_MAX) { 21078241744SMichael Mueller fn(s390_feat_def(feat)->name, opaque); 21178241744SMichael Mueller feat = find_next_bit(bitmap, S390_FEAT_MAX, feat + 1); 21278241744SMichael Mueller }; 21378241744SMichael Mueller } 2148b3d6cb1SDavid Hildenbrand 2158b3d6cb1SDavid Hildenbrand #define FEAT_GROUP_INIT(_name, _group, _desc) \ 2168b3d6cb1SDavid Hildenbrand { \ 2178b3d6cb1SDavid Hildenbrand .name = _name, \ 2188b3d6cb1SDavid Hildenbrand .desc = _desc, \ 2198b3d6cb1SDavid Hildenbrand .init = { S390_FEAT_GROUP_LIST_ ## _group }, \ 2208b3d6cb1SDavid Hildenbrand } 2218b3d6cb1SDavid Hildenbrand 2228b3d6cb1SDavid Hildenbrand /* indexed by feature group number for easy lookup */ 2238b3d6cb1SDavid Hildenbrand static S390FeatGroupDef s390_feature_groups[] = { 2248b3d6cb1SDavid Hildenbrand FEAT_GROUP_INIT("plo", PLO, "Perform-locked-operation facility"), 2258b3d6cb1SDavid Hildenbrand FEAT_GROUP_INIT("tods", TOD_CLOCK_STEERING, "Tod-clock-steering facility"), 2268b3d6cb1SDavid Hildenbrand FEAT_GROUP_INIT("gen13ptff", GEN13_PTFF, "PTFF enhancements introduced with z13"), 2278b3d6cb1SDavid Hildenbrand FEAT_GROUP_INIT("msa", MSA, "Message-security-assist facility"), 2288b3d6cb1SDavid Hildenbrand FEAT_GROUP_INIT("msa1", MSA_EXT_1, "Message-security-assist-extension 1 facility"), 2298b3d6cb1SDavid Hildenbrand FEAT_GROUP_INIT("msa2", MSA_EXT_2, "Message-security-assist-extension 2 facility"), 2308b3d6cb1SDavid Hildenbrand FEAT_GROUP_INIT("msa3", MSA_EXT_3, "Message-security-assist-extension 3 facility"), 2318b3d6cb1SDavid Hildenbrand FEAT_GROUP_INIT("msa4", MSA_EXT_4, "Message-security-assist-extension 4 facility"), 2328b3d6cb1SDavid Hildenbrand FEAT_GROUP_INIT("msa5", MSA_EXT_5, "Message-security-assist-extension 5 facility"), 2336da5c593SJason J. Herne FEAT_GROUP_INIT("msa6", MSA_EXT_6, "Message-security-assist-extension 6 facility"), 2346da5c593SJason J. Herne FEAT_GROUP_INIT("msa7", MSA_EXT_7, "Message-security-assist-extension 7 facility"), 2356da5c593SJason J. Herne FEAT_GROUP_INIT("msa8", MSA_EXT_8, "Message-security-assist-extension 8 facility"), 2365dacbe23SChristian Borntraeger FEAT_GROUP_INIT("msa9", MSA_EXT_9, "Message-security-assist-extension 9 facility"), 2375dacbe23SChristian Borntraeger FEAT_GROUP_INIT("msa9_pckmo", MSA_EXT_9_PCKMO, "Message-security-assist-extension 9 PCKMO subfunctions"), 238ddf5d18aSCollin Walling FEAT_GROUP_INIT("mepochptff", MULTIPLE_EPOCH_PTFF, "PTFF enhancements introduced with Multiple-epoch facility"), 239d220fabfSChristian Borntraeger FEAT_GROUP_INIT("esort", ENH_SORT, "Enhanced-sort facility"), 240afc7b866SChristian Borntraeger FEAT_GROUP_INIT("deflate", DEFLATE_CONVERSION, "Deflate-conversion facility"), 2418b3d6cb1SDavid Hildenbrand }; 2428b3d6cb1SDavid Hildenbrand 2438b3d6cb1SDavid Hildenbrand const S390FeatGroupDef *s390_feat_group_def(S390FeatGroup group) 2448b3d6cb1SDavid Hildenbrand { 2458b3d6cb1SDavid Hildenbrand return &s390_feature_groups[group]; 2468b3d6cb1SDavid Hildenbrand } 2478b3d6cb1SDavid Hildenbrand 2488b3d6cb1SDavid Hildenbrand static void init_groups(void) 2498b3d6cb1SDavid Hildenbrand { 2508b3d6cb1SDavid Hildenbrand int i; 2518b3d6cb1SDavid Hildenbrand 252*cced0d65SMichael Tokarev /* init all bitmaps from generated data initially */ 2538b3d6cb1SDavid Hildenbrand for (i = 0; i < ARRAY_SIZE(s390_feature_groups); i++) { 2548b3d6cb1SDavid Hildenbrand s390_init_feat_bitmap(s390_feature_groups[i].init, 2558b3d6cb1SDavid Hildenbrand s390_feature_groups[i].feat); 2568b3d6cb1SDavid Hildenbrand } 2578b3d6cb1SDavid Hildenbrand } 2588b3d6cb1SDavid Hildenbrand 2598b3d6cb1SDavid Hildenbrand type_init(init_groups) 260