Jayanth Dodderi Chidanand | 9461a89 | 2022-01-17 18:57:17 +0000 | [diff] [blame] | 1 | /* |
Jayanth Dodderi Chidanand | 605419a | 2023-03-06 23:56:14 +0000 | [diff] [blame] | 2 | * Copyright (c) 2022-2023, Arm Limited and Contributors. All rights reserved. |
Jayanth Dodderi Chidanand | 9461a89 | 2022-01-17 18:57:17 +0000 | [diff] [blame] | 3 | * |
| 4 | * SPDX-License-Identifier: BSD-3-Clause |
| 5 | */ |
| 6 | |
Andre Przywara | 5b00511 | 2022-11-14 15:38:58 +0000 | [diff] [blame] | 7 | #include <arch_features.h> |
| 8 | #include <common/debug.h> |
Jayanth Dodderi Chidanand | 9461a89 | 2022-01-17 18:57:17 +0000 | [diff] [blame] | 9 | #include <common/feat_detect.h> |
| 10 | |
Andre Przywara | cc4118d | 2022-11-14 15:42:44 +0000 | [diff] [blame] | 11 | static bool tainted; |
| 12 | |
Jayanth Dodderi Chidanand | 9461a89 | 2022-01-17 18:57:17 +0000 | [diff] [blame] | 13 | /******************************************************************************* |
| 14 | * This section lists the wrapper modules for each feature to evaluate the |
Andre Przywara | 5b00511 | 2022-11-14 15:38:58 +0000 | [diff] [blame] | 15 | * feature states (FEAT_STATE_ALWAYS and FEAT_STATE_CHECK) and perform |
| 16 | * necessary action as below: |
Jayanth Dodderi Chidanand | 9461a89 | 2022-01-17 18:57:17 +0000 | [diff] [blame] | 17 | * |
| 18 | * It verifies whether the FEAT_XXX (eg: FEAT_SB) is supported by the PE or not. |
| 19 | * Without this check an exception would occur during context save/restore |
| 20 | * routines, if the feature is enabled but not supported by PE. |
| 21 | ******************************************************************************/ |
| 22 | |
Andre Przywara | 5b00511 | 2022-11-14 15:38:58 +0000 | [diff] [blame] | 23 | #define feat_detect_panic(a, b) ((a) ? (void)0 : feature_panic(b)) |
| 24 | |
| 25 | /******************************************************************************* |
| 26 | * Function : feature_panic |
| 27 | * Customised panic function with error logging mechanism to list the feature |
| 28 | * not supported by the PE. |
| 29 | ******************************************************************************/ |
| 30 | static inline void feature_panic(char *feat_name) |
| 31 | { |
| 32 | ERROR("FEAT_%s not supported by the PE\n", feat_name); |
| 33 | panic(); |
| 34 | } |
| 35 | |
Andre Przywara | cc4118d | 2022-11-14 15:42:44 +0000 | [diff] [blame] | 36 | /******************************************************************************* |
| 37 | * Function : check_feature |
| 38 | * Check for a valid combination of build time flags (ENABLE_FEAT_xxx) and |
Andre Przywara | 2f3e79a | 2023-02-01 11:46:31 +0000 | [diff] [blame] | 39 | * feature availability on the hardware. <min> is the smallest feature |
| 40 | * ID field value that is required for that feature. |
| 41 | * Triggers a panic later if a feature is forcefully enabled, but not |
| 42 | * available on the PE. Also will panic if the hardware feature ID field |
| 43 | * is larger than the maximum known and supported number, specified by <max>. |
Andre Przywara | cc4118d | 2022-11-14 15:42:44 +0000 | [diff] [blame] | 44 | * |
| 45 | * We force inlining here to let the compiler optimise away the whole check |
| 46 | * if the feature is disabled at build time (FEAT_STATE_DISABLED). |
| 47 | ******************************************************************************/ |
| 48 | static inline void __attribute((__always_inline__)) |
Andre Przywara | 2f3e79a | 2023-02-01 11:46:31 +0000 | [diff] [blame] | 49 | check_feature(int state, unsigned long field, const char *feat_name, |
| 50 | unsigned int min, unsigned int max) |
Andre Przywara | cc4118d | 2022-11-14 15:42:44 +0000 | [diff] [blame] | 51 | { |
Andre Przywara | 2f3e79a | 2023-02-01 11:46:31 +0000 | [diff] [blame] | 52 | if (state == FEAT_STATE_ALWAYS && field < min) { |
Andre Przywara | cc4118d | 2022-11-14 15:42:44 +0000 | [diff] [blame] | 53 | ERROR("FEAT_%s not supported by the PE\n", feat_name); |
| 54 | tainted = true; |
| 55 | } |
Andre Przywara | 2f3e79a | 2023-02-01 11:46:31 +0000 | [diff] [blame] | 56 | if (state >= FEAT_STATE_ALWAYS && field > max) { |
| 57 | ERROR("FEAT_%s is version %ld, but is only known up to version %d\n", |
| 58 | feat_name, field, max); |
| 59 | tainted = true; |
| 60 | } |
Andre Przywara | cc4118d | 2022-11-14 15:42:44 +0000 | [diff] [blame] | 61 | } |
| 62 | |
Jayanth Dodderi Chidanand | 9461a89 | 2022-01-17 18:57:17 +0000 | [diff] [blame] | 63 | /************************************************ |
| 64 | * Feature : FEAT_PAUTH (Pointer Authentication) |
| 65 | ***********************************************/ |
| 66 | static void read_feat_pauth(void) |
| 67 | { |
Andre Przywara | 5b00511 | 2022-11-14 15:38:58 +0000 | [diff] [blame] | 68 | #if (ENABLE_PAUTH == FEAT_STATE_ALWAYS) || (CTX_INCLUDE_PAUTH_REGS == FEAT_STATE_ALWAYS) |
Jayanth Dodderi Chidanand | 9461a89 | 2022-01-17 18:57:17 +0000 | [diff] [blame] | 69 | feat_detect_panic(is_armv8_3_pauth_present(), "PAUTH"); |
| 70 | #endif |
| 71 | } |
| 72 | |
Jayanth Dodderi Chidanand | 9461a89 | 2022-01-17 18:57:17 +0000 | [diff] [blame] | 73 | /************************************************ |
| 74 | * Feature : FEAT_MTE (Memory Tagging Extension) |
| 75 | ***********************************************/ |
| 76 | static void read_feat_mte(void) |
| 77 | { |
Andre Przywara | 5b00511 | 2022-11-14 15:38:58 +0000 | [diff] [blame] | 78 | #if (CTX_INCLUDE_MTE_REGS == FEAT_STATE_ALWAYS) |
Jayanth Dodderi Chidanand | 9461a89 | 2022-01-17 18:57:17 +0000 | [diff] [blame] | 79 | unsigned int mte = get_armv8_5_mte_support(); |
| 80 | |
| 81 | feat_detect_panic((mte != MTE_UNIMPLEMENTED), "MTE"); |
| 82 | #endif |
| 83 | } |
| 84 | |
Jayanth Dodderi Chidanand | 9461a89 | 2022-01-17 18:57:17 +0000 | [diff] [blame] | 85 | /**************************************************** |
| 86 | * Feature : FEAT_BTI (Branch Target Identification) |
| 87 | ***************************************************/ |
| 88 | static void read_feat_bti(void) |
| 89 | { |
Andre Przywara | 5b00511 | 2022-11-14 15:38:58 +0000 | [diff] [blame] | 90 | #if (ENABLE_BTI == FEAT_STATE_ALWAYS) |
Jayanth Dodderi Chidanand | 9461a89 | 2022-01-17 18:57:17 +0000 | [diff] [blame] | 91 | feat_detect_panic(is_armv8_5_bti_present(), "BTI"); |
| 92 | #endif |
| 93 | } |
| 94 | |
Jayanth Dodderi Chidanand | 9461a89 | 2022-01-17 18:57:17 +0000 | [diff] [blame] | 95 | /************************************************** |
| 96 | * Feature : FEAT_RME (Realm Management Extension) |
| 97 | *************************************************/ |
| 98 | static void read_feat_rme(void) |
| 99 | { |
Andre Przywara | 5b00511 | 2022-11-14 15:38:58 +0000 | [diff] [blame] | 100 | #if (ENABLE_RME == FEAT_STATE_ALWAYS) |
Jayanth Dodderi Chidanand | 9461a89 | 2022-01-17 18:57:17 +0000 | [diff] [blame] | 101 | feat_detect_panic((get_armv9_2_feat_rme_support() != |
| 102 | ID_AA64PFR0_FEAT_RME_NOT_SUPPORTED), "RME"); |
| 103 | #endif |
| 104 | } |
| 105 | |
Juan Pablo Conde | 42305f2 | 2022-07-12 16:40:29 -0400 | [diff] [blame] | 106 | /****************************************************************** |
| 107 | * Feature : FEAT_RNG_TRAP (Trapping support for RNDR/RNDRRS) |
| 108 | *****************************************************************/ |
| 109 | static void read_feat_rng_trap(void) |
| 110 | { |
Andre Przywara | 5b00511 | 2022-11-14 15:38:58 +0000 | [diff] [blame] | 111 | #if (ENABLE_FEAT_RNG_TRAP == FEAT_STATE_ALWAYS) |
Juan Pablo Conde | 42305f2 | 2022-07-12 16:40:29 -0400 | [diff] [blame] | 112 | feat_detect_panic(is_feat_rng_trap_present(), "RNG_TRAP"); |
| 113 | #endif |
| 114 | } |
| 115 | |
Jayanth Dodderi Chidanand | 9461a89 | 2022-01-17 18:57:17 +0000 | [diff] [blame] | 116 | /*********************************************************************************** |
| 117 | * TF-A supports many Arm architectural features starting from arch version |
| 118 | * (8.0 till 8.7+). These features are mostly enabled through build flags. This |
| 119 | * mechanism helps in validating these build flags in the early boot phase |
| 120 | * either in BL1 or BL31 depending on the platform and assists in identifying |
| 121 | * and notifying the features which are enabled but not supported by the PE. |
| 122 | * |
| 123 | * It reads all the enabled features ID-registers and ensures the features |
| 124 | * are supported by the PE. |
| 125 | * In case if they aren't it stops booting at an early phase and logs the error |
| 126 | * messages, notifying the platforms about the features that are not supported. |
| 127 | * |
| 128 | * Further the procedure is implemented with a tri-state approach for each feature: |
| 129 | * ENABLE_FEAT_xxx = 0 : The feature is disabled statically at compile time |
| 130 | * ENABLE_FEAT_xxx = 1 : The feature is enabled and must be present in hardware. |
| 131 | * There will be panic if feature is not present at cold boot. |
| 132 | * ENABLE_FEAT_xxx = 2 : The feature is enabled but dynamically enabled at runtime |
| 133 | * depending on hardware capability. |
| 134 | * |
Andre Przywara | 5b00511 | 2022-11-14 15:38:58 +0000 | [diff] [blame] | 135 | * For better readability, state values are defined with macros, namely: |
| 136 | * { FEAT_STATE_DISABLED, FEAT_STATE_ALWAYS, FEAT_STATE_CHECK }, taking values |
| 137 | * { 0, 1, 2 }, respectively, as their naming. |
Jayanth Dodderi Chidanand | 9461a89 | 2022-01-17 18:57:17 +0000 | [diff] [blame] | 138 | **********************************************************************************/ |
| 139 | void detect_arch_features(void) |
| 140 | { |
Andre Przywara | cc4118d | 2022-11-14 15:42:44 +0000 | [diff] [blame] | 141 | tainted = false; |
| 142 | |
Jayanth Dodderi Chidanand | 9461a89 | 2022-01-17 18:57:17 +0000 | [diff] [blame] | 143 | /* v8.0 features */ |
Andre Przywara | 46880dc | 2022-11-17 16:42:09 +0000 | [diff] [blame] | 144 | check_feature(ENABLE_FEAT_SB, read_feat_sb_id_field(), "SB", 1, 1); |
Andre Przywara | 902c902 | 2022-11-17 17:30:43 +0000 | [diff] [blame] | 145 | check_feature(ENABLE_FEAT_CSV2_2, read_feat_csv2_id_field(), |
| 146 | "CSV2_2", 2, 3); |
Boyan Karatotev | 05504ba | 2023-02-15 13:21:50 +0000 | [diff] [blame] | 147 | /* |
| 148 | * Even though the PMUv3 is an OPTIONAL feature, it is always |
| 149 | * implemented and Arm prescribes so. So assume it will be there and do |
| 150 | * away with a flag for it. This is used to check minor PMUv3px |
| 151 | * revisions so that we catch them as they come along |
| 152 | */ |
| 153 | check_feature(FEAT_STATE_ALWAYS, read_feat_pmuv3_id_field(), |
| 154 | "PMUv3", 1, ID_AA64DFR0_PMUVER_PMUV3P7); |
Jayanth Dodderi Chidanand | 9461a89 | 2022-01-17 18:57:17 +0000 | [diff] [blame] | 155 | |
| 156 | /* v8.1 features */ |
Andre Przywara | 9727294 | 2023-01-26 15:27:38 +0000 | [diff] [blame] | 157 | check_feature(ENABLE_FEAT_PAN, read_feat_pan_id_field(), "PAN", 1, 3); |
Andre Przywara | 98908b3 | 2022-11-17 16:42:09 +0000 | [diff] [blame] | 158 | check_feature(ENABLE_FEAT_VHE, read_feat_vhe_id_field(), "VHE", 1, 1); |
Jayanth Dodderi Chidanand | 9461a89 | 2022-01-17 18:57:17 +0000 | [diff] [blame] | 159 | |
| 160 | /* v8.2 features */ |
Jayanth Dodderi Chidanand | d62c681 | 2023-03-07 10:43:19 +0000 | [diff] [blame] | 161 | check_feature(ENABLE_SVE_FOR_NS, read_feat_sve_id_field(), |
| 162 | "SVE", 1, 1); |
Andre Przywara | 870627e | 2023-01-27 12:25:49 +0000 | [diff] [blame] | 163 | check_feature(ENABLE_FEAT_RAS, read_feat_ras_id_field(), "RAS", 1, 2); |
Jayanth Dodderi Chidanand | 9461a89 | 2022-01-17 18:57:17 +0000 | [diff] [blame] | 164 | |
| 165 | /* v8.3 features */ |
| 166 | read_feat_pauth(); |
| 167 | |
| 168 | /* v8.4 features */ |
Andre Przywara | 1f55c41 | 2023-01-26 16:47:52 +0000 | [diff] [blame] | 169 | check_feature(ENABLE_FEAT_DIT, read_feat_dit_id_field(), "DIT", 1, 1); |
Andre Przywara | 0b7f1b0 | 2023-03-21 13:53:19 +0000 | [diff] [blame] | 170 | check_feature(ENABLE_FEAT_AMU, read_feat_amu_id_field(), |
Andre Przywara | 2f3e79a | 2023-02-01 11:46:31 +0000 | [diff] [blame] | 171 | "AMUv1", 1, 2); |
Andre Przywara | 84b8653 | 2022-11-17 16:42:09 +0000 | [diff] [blame] | 172 | check_feature(ENABLE_MPAM_FOR_LOWER_ELS, read_feat_mpam_version(), |
Andre Przywara | a96d450 | 2023-03-21 14:44:59 +0000 | [diff] [blame] | 173 | "MPAM", 1, 17); |
Andre Przywara | edc449d | 2023-01-27 14:09:20 +0000 | [diff] [blame] | 174 | check_feature(CTX_INCLUDE_NEVE_REGS, read_feat_nv_id_field(), |
| 175 | "NV2", 2, 2); |
Andre Przywara | 6dd2d06 | 2023-02-22 16:53:50 +0000 | [diff] [blame] | 176 | check_feature(ENABLE_FEAT_SEL2, read_feat_sel2_id_field(), |
| 177 | "SEL2", 1, 1); |
Andre Przywara | 06ea44e | 2022-11-17 17:30:43 +0000 | [diff] [blame] | 178 | check_feature(ENABLE_TRF_FOR_NS, read_feat_trf_id_field(), |
| 179 | "TRF", 1, 1); |
Jayanth Dodderi Chidanand | 9461a89 | 2022-01-17 18:57:17 +0000 | [diff] [blame] | 180 | |
| 181 | /* v8.5 features */ |
| 182 | read_feat_mte(); |
Andre Przywara | 436b4bb | 2023-02-22 17:55:59 +0000 | [diff] [blame] | 183 | check_feature(ENABLE_FEAT_RNG, read_feat_rng_id_field(), "RNG", 1, 1); |
Jayanth Dodderi Chidanand | 9461a89 | 2022-01-17 18:57:17 +0000 | [diff] [blame] | 184 | read_feat_bti(); |
Juan Pablo Conde | 42305f2 | 2022-07-12 16:40:29 -0400 | [diff] [blame] | 185 | read_feat_rng_trap(); |
Jayanth Dodderi Chidanand | 9461a89 | 2022-01-17 18:57:17 +0000 | [diff] [blame] | 186 | |
| 187 | /* v8.6 features */ |
Andre Przywara | 906776e | 2023-03-03 10:30:06 +0000 | [diff] [blame] | 188 | check_feature(ENABLE_FEAT_AMUv1p1, read_feat_amu_id_field(), |
| 189 | "AMUv1p1", 2, 2); |
Andre Przywara | 2f3e79a | 2023-02-01 11:46:31 +0000 | [diff] [blame] | 190 | check_feature(ENABLE_FEAT_FGT, read_feat_fgt_id_field(), "FGT", 1, 1); |
Andre Przywara | c346418 | 2022-11-17 17:30:43 +0000 | [diff] [blame] | 191 | check_feature(ENABLE_FEAT_ECV, read_feat_ecv_id_field(), "ECV", 1, 2); |
Andre Przywara | 0cf7740 | 2023-01-27 12:25:49 +0000 | [diff] [blame] | 192 | check_feature(ENABLE_FEAT_TWED, read_feat_twed_id_field(), |
| 193 | "TWED", 1, 1); |
Jayanth Dodderi Chidanand | 9461a89 | 2022-01-17 18:57:17 +0000 | [diff] [blame] | 194 | |
Boyan Karatotev | 677ed8a | 2023-02-16 09:45:29 +0000 | [diff] [blame] | 195 | /* |
| 196 | * even though this is a "DISABLE" it does confusingly perform feature |
| 197 | * enablement duties like all other flags here. Check it against the HW |
| 198 | * feature when we intend to diverge from the default behaviour |
| 199 | */ |
| 200 | check_feature(DISABLE_MTPMU, read_feat_mtpmu_id_field(), "MTPMU", 1, 1); |
| 201 | |
Jayanth Dodderi Chidanand | 9461a89 | 2022-01-17 18:57:17 +0000 | [diff] [blame] | 202 | /* v8.7 features */ |
Andre Przywara | 2f3e79a | 2023-02-01 11:46:31 +0000 | [diff] [blame] | 203 | check_feature(ENABLE_FEAT_HCX, read_feat_hcx_id_field(), "HCX", 1, 1); |
Jayanth Dodderi Chidanand | 9461a89 | 2022-01-17 18:57:17 +0000 | [diff] [blame] | 204 | |
Mark Brown | c37eee7 | 2023-03-14 20:13:03 +0000 | [diff] [blame] | 205 | /* v8.9 features */ |
Andre Przywara | 0dda424 | 2023-04-18 16:58:36 +0100 | [diff] [blame] | 206 | check_feature(ENABLE_FEAT_TCR2, read_feat_tcr2_id_field(), |
Mark Brown | c37eee7 | 2023-03-14 20:13:03 +0000 | [diff] [blame] | 207 | "TCR2", 1, 1); |
Mark Brown | 293a661 | 2023-03-14 20:48:43 +0000 | [diff] [blame] | 208 | check_feature(ENABLE_FEAT_S2PIE, read_feat_s2pie_id_field(), |
| 209 | "S2PIE", 1, 1); |
| 210 | check_feature(ENABLE_FEAT_S1PIE, read_feat_s1pie_id_field(), |
| 211 | "S1PIE", 1, 1); |
| 212 | check_feature(ENABLE_FEAT_S2POE, read_feat_s2poe_id_field(), |
| 213 | "S2POE", 1, 1); |
| 214 | check_feature(ENABLE_FEAT_S1POE, read_feat_s1poe_id_field(), |
| 215 | "S1POE", 1, 1); |
Maksims Svecovs | df4ad84 | 2023-03-24 13:05:09 +0000 | [diff] [blame] | 216 | check_feature(ENABLE_FEAT_MTE_PERM, read_feat_mte_perm_id_field(), |
| 217 | "MTE_PERM", 1, 1); |
Mark Brown | c37eee7 | 2023-03-14 20:13:03 +0000 | [diff] [blame] | 218 | |
Jayanth Dodderi Chidanand | 6931675 | 2022-05-09 12:33:03 +0100 | [diff] [blame] | 219 | /* v9.0 features */ |
Andre Przywara | c97c551 | 2022-11-17 16:42:09 +0000 | [diff] [blame] | 220 | check_feature(ENABLE_BRBE_FOR_NS, read_feat_brbe_id_field(), |
| 221 | "BRBE", 1, 2); |
Andre Przywara | 191eff6 | 2022-11-17 16:42:09 +0000 | [diff] [blame] | 222 | check_feature(ENABLE_TRBE_FOR_NS, read_feat_trbe_id_field(), |
| 223 | "TRBE", 1, 1); |
Jayanth Dodderi Chidanand | 6931675 | 2022-05-09 12:33:03 +0100 | [diff] [blame] | 224 | |
Jayanth Dodderi Chidanand | 9461a89 | 2022-01-17 18:57:17 +0000 | [diff] [blame] | 225 | /* v9.2 features */ |
Jayanth Dodderi Chidanand | 605419a | 2023-03-06 23:56:14 +0000 | [diff] [blame] | 226 | check_feature(ENABLE_SME_FOR_NS, read_feat_sme_id_field(), |
| 227 | "SME", 1, 2); |
Jayanth Dodderi Chidanand | cfe053a | 2022-11-08 10:31:07 +0000 | [diff] [blame] | 228 | check_feature(ENABLE_SME2_FOR_NS, read_feat_sme_id_field(), |
| 229 | "SME2", 2, 2); |
Mark Brown | 326f295 | 2023-03-14 21:33:04 +0000 | [diff] [blame] | 230 | |
| 231 | /* v9.4 features */ |
| 232 | check_feature(ENABLE_FEAT_GCS, read_feat_gcs_id_field(), "GCS", 1, 1); |
| 233 | |
Jayanth Dodderi Chidanand | 9461a89 | 2022-01-17 18:57:17 +0000 | [diff] [blame] | 234 | read_feat_rme(); |
Andre Przywara | cc4118d | 2022-11-14 15:42:44 +0000 | [diff] [blame] | 235 | |
| 236 | if (tainted) { |
| 237 | panic(); |
| 238 | } |
Jayanth Dodderi Chidanand | 9461a89 | 2022-01-17 18:57:17 +0000 | [diff] [blame] | 239 | } |