| 1 | /* |
| 2 | * CPU models for s390x |
| 3 | * |
| 4 | * Copyright 2016 IBM Corp. |
| 5 | * |
| 6 | * Author(s): David Hildenbrand <dahi@linux.vnet.ibm.com> |
| 7 | * |
| 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 |
| 10 | * directory. |
| 11 | */ |
| 12 | |
| 13 | #ifndef TARGET_S390X_CPU_MODELS_H |
| 14 | #define TARGET_S390X_CPU_MODELS_H |
| 15 | |
| 16 | #include "cpu_features.h" |
| 17 | #include "target/s390x/gen-features.h" |
| 18 | #include "hw/core/cpu.h" |
| 19 | |
| 20 | /* static CPU definition */ |
| 21 | typedef struct S390CPUDef { |
| 22 | const char *name; /* name exposed to the user */ |
| 23 | const char *desc; /* description exposed to the user */ |
| 24 | uint8_t gen; /* hw generation identification */ |
| 25 | uint16_t type; /* cpu type identification */ |
| 26 | uint8_t ec_ga; /* EC GA version (on which also the BC is based) */ |
| 27 | uint8_t mha_pow; /* maximum host address power, mha = 2^pow-1 */ |
| 28 | uint32_t hmfai; /* hypervisor-managed facilities */ |
| 29 | /* base/min features, must never be changed between QEMU versions */ |
| 30 | S390FeatBitmap base_feat; |
| 31 | /* used to init base_feat from generated data */ |
| 32 | S390FeatInit base_init; |
| 33 | /* default features, QEMU version specific */ |
| 34 | S390FeatBitmap default_feat; |
| 35 | /* used to init default_feat from generated data */ |
| 36 | S390FeatInit default_init; |
| 37 | /* max allowed features, QEMU version specific */ |
| 38 | S390FeatBitmap full_feat; |
| 39 | /* used to init full_feat from generated data */ |
| 40 | S390FeatInit full_init; |
| 41 | } S390CPUDef; |
| 42 | |
| 43 | /* CPU model based on a CPU definition */ |
| 44 | typedef struct S390CPUModel { |
| 45 | const S390CPUDef *def; |
| 46 | S390FeatBitmap features; |
| 47 | /* values copied from the "host" model, can change during migration */ |
| 48 | uint16_t lowest_ibc; /* lowest IBC that the hardware supports */ |
| 49 | uint32_t cpu_id; /* CPU id */ |
| 50 | uint8_t cpu_id_format; /* CPU id format bit */ |
| 51 | uint8_t cpu_ver; /* CPU version, usually "ff" for kvm */ |
| 52 | } S390CPUModel; |
| 53 | |
| 54 | /* |
| 55 | * CPU ID |
| 56 | * |
| 57 | * bits 0-7: Zeroes (ff for kvm) |
| 58 | * bits 8-31: CPU ID (serial number) |
| 59 | * bits 32-47: Machine type |
| 60 | * bit 48: CPU ID format |
| 61 | * bits 49-63: Zeroes |
| 62 | */ |
| 63 | #define cpuid_type(x) (((x) >> 16) & 0xffff) |
| 64 | #define cpuid_id(x) (((x) >> 32) & 0xffffff) |
| 65 | #define cpuid_ver(x) (((x) >> 56) & 0xff) |
| 66 | #define cpuid_format(x) (((x) >> 15) & 0x1) |
| 67 | |
| 68 | #define lowest_ibc(x) (((uint32_t)(x) >> 16) & 0xfff) |
| 69 | #define unblocked_ibc(x) ((uint32_t)(x) & 0xfff) |
| 70 | #define has_ibc(x) (lowest_ibc(x) != 0) |
| 71 | |
| 72 | #define S390_GEN_Z10 0xa |
| 73 | #define ibc_gen(x) (x == 0 ? 0 : ((x >> 4) + S390_GEN_Z10)) |
| 74 | #define ibc_ec_ga(x) (x & 0xf) |
| 75 | |
| 76 | void s390_cpudef_featoff(uint8_t gen, uint8_t ec_ga, S390Feat feat); |
| 77 | void s390_cpudef_featoff_greater(uint8_t gen, uint8_t ec_ga, S390Feat feat); |
| 78 | void s390_cpudef_group_featoff_greater(uint8_t gen, uint8_t ec_ga, |
| 79 | S390FeatGroup group); |
| 80 | uint32_t s390_get_hmfai(void); |
| 81 | uint8_t s390_get_mha_pow(void); |
| 82 | uint32_t s390_get_ibc_val(void); |
| 83 | static inline uint16_t s390_ibc_from_cpu_model(const S390CPUModel *model) |
| 84 | { |
| 85 | uint16_t ibc = 0; |
| 86 | |
| 87 | if (model->def->gen >= S390_GEN_Z10) { |
| 88 | ibc = ((model->def->gen - S390_GEN_Z10) << 4) + model->def->ec_ga; |
| 89 | } |
| 90 | return ibc; |
| 91 | } |
| 92 | void s390_get_feat_block(S390FeatType type, uint8_t *data); |
| 93 | bool s390_has_feat(S390Feat feat); |
| 94 | uint8_t s390_get_gen_for_cpu_type(uint16_t type); |
| 95 | static inline bool s390_known_cpu_type(uint16_t type) |
| 96 | { |
| 97 | return s390_get_gen_for_cpu_type(type) != 0; |
| 98 | } |
| 99 | #define CPU_ID_SHIFT 32 |
| 100 | #define CPU_ID_BITS 24 |
| 101 | /* |
| 102 | * When cpu_id_format is 0 (basic mode), the leftmost 4 bits of cpu_id contain |
| 103 | * the rightmost 4 bits of the physical CPU address. |
| 104 | */ |
| 105 | #define CPU_PHYS_ADDR_BITS 4 |
| 106 | #define CPU_PHYS_ADDR_SHIFT (CPU_ID_SHIFT + CPU_ID_BITS - CPU_PHYS_ADDR_BITS) |
| 107 | static inline uint64_t s390_cpuid_from_cpu_model(const S390CPUModel *model) |
| 108 | { |
| 109 | return ((uint64_t)model->cpu_ver << 56) | |
| 110 | ((uint64_t)model->cpu_id << CPU_ID_SHIFT) | |
| 111 | ((uint64_t)model->def->type << 16) | |
| 112 | (model->def->gen == 7 ? 0 : (uint64_t)model->cpu_id_format << 15); |
| 113 | } |
| 114 | S390CPUDef const *s390_find_cpu_def(uint16_t type, uint8_t gen, uint8_t ec_ga, |
| 115 | S390FeatBitmap features); |
| 116 | void s390_set_qemu_cpu_model(uint16_t type, uint8_t gen, uint8_t ec_ga, |
| 117 | const S390FeatInit feat_init); |
| 118 | void s390_cpu_list(void); |
| 119 | |
| 120 | bool kvm_s390_cpu_models_supported(void); |
| 121 | bool kvm_s390_get_host_cpu_model(S390CPUModel *model, Error **errp); |
| 122 | bool kvm_s390_apply_cpu_model(const S390CPUModel *model, Error **errp); |
| 123 | |
| 124 | #endif /* TARGET_S390X_CPU_MODELS_H */ |