blob: 4b5dcd462d5575f7e391364c11080ba6938ea8f8 [file] [log] [blame]
Jayanth Dodderi Chidanand9461a892022-01-17 18:57:17 +00001/*
2 * Copyright (c) 2022, Arm Limited and Contributors. All rights reserved.
3 *
4 * SPDX-License-Identifier: BSD-3-Clause
5 */
6
Andre Przywara5b005112022-11-14 15:38:58 +00007#include <arch_features.h>
8#include <common/debug.h>
Jayanth Dodderi Chidanand9461a892022-01-17 18:57:17 +00009#include <common/feat_detect.h>
10
Andre Przywaracc4118d2022-11-14 15:42:44 +000011static bool tainted;
12
Jayanth Dodderi Chidanand9461a892022-01-17 18:57:17 +000013/*******************************************************************************
14 * This section lists the wrapper modules for each feature to evaluate the
Andre Przywara5b005112022-11-14 15:38:58 +000015 * feature states (FEAT_STATE_ALWAYS and FEAT_STATE_CHECK) and perform
16 * necessary action as below:
Jayanth Dodderi Chidanand9461a892022-01-17 18:57:17 +000017 *
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 Przywara5b005112022-11-14 15:38:58 +000023#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 ******************************************************************************/
30static 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 Przywaracc4118d2022-11-14 15:42:44 +000036/*******************************************************************************
37 * Function : check_feature
38 * Check for a valid combination of build time flags (ENABLE_FEAT_xxx) and
Andre Przywara2f3e79a2023-02-01 11:46:31 +000039 * 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 Przywaracc4118d2022-11-14 15:42:44 +000044 *
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 ******************************************************************************/
48static inline void __attribute((__always_inline__))
Andre Przywara2f3e79a2023-02-01 11:46:31 +000049check_feature(int state, unsigned long field, const char *feat_name,
50 unsigned int min, unsigned int max)
Andre Przywaracc4118d2022-11-14 15:42:44 +000051{
Andre Przywara2f3e79a2023-02-01 11:46:31 +000052 if (state == FEAT_STATE_ALWAYS && field < min) {
Andre Przywaracc4118d2022-11-14 15:42:44 +000053 ERROR("FEAT_%s not supported by the PE\n", feat_name);
54 tainted = true;
55 }
Andre Przywara2f3e79a2023-02-01 11:46:31 +000056 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 Przywaracc4118d2022-11-14 15:42:44 +000061}
62
Jayanth Dodderi Chidanand9461a892022-01-17 18:57:17 +000063/******************************************************
64 * Feature : FEAT_CSV2_2 (Cache Speculation Variant 2)
65 *****************************************************/
66static void read_feat_csv2_2(void)
67{
Andre Przywara5b005112022-11-14 15:38:58 +000068#if (ENABLE_FEAT_CSV2_2 == FEAT_STATE_ALWAYS)
Jayanth Dodderi Chidanand9461a892022-01-17 18:57:17 +000069 feat_detect_panic(is_armv8_0_feat_csv2_2_present(), "CSV2_2");
70#endif
71}
72
73/***********************************************
74 * Feature : FEAT_PAN (Privileged Access Never)
75 **********************************************/
76static void read_feat_pan(void)
77{
Andre Przywara5b005112022-11-14 15:38:58 +000078#if (ENABLE_FEAT_PAN == FEAT_STATE_ALWAYS)
Jayanth Dodderi Chidanand9461a892022-01-17 18:57:17 +000079 feat_detect_panic(is_armv8_1_pan_present(), "PAN");
80#endif
81}
82
Jayanth Dodderi Chidanand9461a892022-01-17 18:57:17 +000083/*******************************************************************************
84 * Feature : FEAT_RAS (Reliability, Availability, and Serviceability Extension)
85 ******************************************************************************/
86static void read_feat_ras(void)
87{
Andre Przywara5b005112022-11-14 15:38:58 +000088#if (RAS_EXTENSION == FEAT_STATE_ALWAYS)
Jayanth Dodderi Chidanand9461a892022-01-17 18:57:17 +000089 feat_detect_panic(is_armv8_2_feat_ras_present(), "RAS");
90#endif
91}
92
93/************************************************
94 * Feature : FEAT_PAUTH (Pointer Authentication)
95 ***********************************************/
96static void read_feat_pauth(void)
97{
Andre Przywara5b005112022-11-14 15:38:58 +000098#if (ENABLE_PAUTH == FEAT_STATE_ALWAYS) || (CTX_INCLUDE_PAUTH_REGS == FEAT_STATE_ALWAYS)
Jayanth Dodderi Chidanand9461a892022-01-17 18:57:17 +000099 feat_detect_panic(is_armv8_3_pauth_present(), "PAUTH");
100#endif
101}
102
103/************************************************************
104 * Feature : FEAT_DIT (Data Independent Timing Instructions)
105 ***********************************************************/
106static void read_feat_dit(void)
107{
Andre Przywara5b005112022-11-14 15:38:58 +0000108#if (ENABLE_FEAT_DIT == FEAT_STATE_ALWAYS)
Jayanth Dodderi Chidanand9461a892022-01-17 18:57:17 +0000109 feat_detect_panic(is_armv8_4_feat_dit_present(), "DIT");
110#endif
111}
112
Jayanth Dodderi Chidanand9461a892022-01-17 18:57:17 +0000113/**************************************************************
114 * Feature : FEAT_NV2 (Enhanced Nested Virtualization Support)
115 *************************************************************/
116static void read_feat_nv2(void)
117{
Andre Przywara5b005112022-11-14 15:38:58 +0000118#if (CTX_INCLUDE_NEVE_REGS == FEAT_STATE_ALWAYS)
Jayanth Dodderi Chidanand9461a892022-01-17 18:57:17 +0000119 unsigned int nv = get_armv8_4_feat_nv_support();
120
121 feat_detect_panic((nv == ID_AA64MMFR2_EL1_NV2_SUPPORTED), "NV2");
122#endif
123}
124
125/***********************************
126 * Feature : FEAT_SEL2 (Secure EL2)
127 **********************************/
128static void read_feat_sel2(void)
129{
Andre Przywara5b005112022-11-14 15:38:58 +0000130#if (ENABLE_FEAT_SEL2 == FEAT_STATE_ALWAYS)
Jayanth Dodderi Chidanand9461a892022-01-17 18:57:17 +0000131 feat_detect_panic(is_armv8_4_sel2_present(), "SEL2");
132#endif
133}
134
Jayanth Dodderi Chidanand9461a892022-01-17 18:57:17 +0000135/************************************************
136 * Feature : FEAT_MTE (Memory Tagging Extension)
137 ***********************************************/
138static void read_feat_mte(void)
139{
Andre Przywara5b005112022-11-14 15:38:58 +0000140#if (CTX_INCLUDE_MTE_REGS == FEAT_STATE_ALWAYS)
Jayanth Dodderi Chidanand9461a892022-01-17 18:57:17 +0000141 unsigned int mte = get_armv8_5_mte_support();
142
143 feat_detect_panic((mte != MTE_UNIMPLEMENTED), "MTE");
144#endif
145}
146
147/***********************************************
148 * Feature : FEAT_RNG (Random Number Generator)
149 **********************************************/
150static void read_feat_rng(void)
151{
Andre Przywara5b005112022-11-14 15:38:58 +0000152#if (ENABLE_FEAT_RNG == FEAT_STATE_ALWAYS)
Jayanth Dodderi Chidanand9461a892022-01-17 18:57:17 +0000153 feat_detect_panic(is_armv8_5_rng_present(), "RNG");
154#endif
155}
156
157/****************************************************
158 * Feature : FEAT_BTI (Branch Target Identification)
159 ***************************************************/
160static void read_feat_bti(void)
161{
Andre Przywara5b005112022-11-14 15:38:58 +0000162#if (ENABLE_BTI == FEAT_STATE_ALWAYS)
Jayanth Dodderi Chidanand9461a892022-01-17 18:57:17 +0000163 feat_detect_panic(is_armv8_5_bti_present(), "BTI");
164#endif
165}
166
Jayanth Dodderi Chidanand9461a892022-01-17 18:57:17 +0000167/***********************************************
168 * Feature : FEAT_AMUv1p1 (AMU Extensions v1.1)
169 **********************************************/
170static void read_feat_amuv1p1(void)
171{
Andre Przywara5b005112022-11-14 15:38:58 +0000172#if (ENABLE_FEAT_AMUv1p1 == FEAT_STATE_ALWAYS)
Jayanth Dodderi Chidanand9461a892022-01-17 18:57:17 +0000173 feat_detect_panic(is_armv8_6_feat_amuv1p1_present(), "AMUv1p1");
174#endif
175}
176
177/*******************************************************
178 * Feature : FEAT_ECV (Enhanced Counter Virtualization)
179 ******************************************************/
180static void read_feat_ecv(void)
181{
Andre Przywara5b005112022-11-14 15:38:58 +0000182#if (ENABLE_FEAT_ECV == FEAT_STATE_ALWAYS)
Jayanth Dodderi Chidanand9461a892022-01-17 18:57:17 +0000183 unsigned int ecv = get_armv8_6_ecv_support();
184
185 feat_detect_panic(((ecv == ID_AA64MMFR0_EL1_ECV_SUPPORTED) ||
186 (ecv == ID_AA64MMFR0_EL1_ECV_SELF_SYNCH)), "ECV");
187#endif
188}
189
Jayanth Dodderi Chidanand4b5489c2022-03-28 15:28:55 +0100190/***********************************************************
191 * Feature : FEAT_TWED (Delayed Trapping of WFE Instruction)
192 **********************************************************/
193static void read_feat_twed(void)
194{
Andre Przywara5b005112022-11-14 15:38:58 +0000195#if (ENABLE_FEAT_TWED == FEAT_STATE_ALWAYS)
Jayanth Dodderi Chidanand4b5489c2022-03-28 15:28:55 +0100196 feat_detect_panic(is_armv8_6_twed_present(), "TWED");
197#endif
198}
199
Jayanth Dodderi Chidanand9461a892022-01-17 18:57:17 +0000200/**************************************************
201 * Feature : FEAT_RME (Realm Management Extension)
202 *************************************************/
203static void read_feat_rme(void)
204{
Andre Przywara5b005112022-11-14 15:38:58 +0000205#if (ENABLE_RME == FEAT_STATE_ALWAYS)
Jayanth Dodderi Chidanand9461a892022-01-17 18:57:17 +0000206 feat_detect_panic((get_armv9_2_feat_rme_support() !=
207 ID_AA64PFR0_FEAT_RME_NOT_SUPPORTED), "RME");
208#endif
209}
210
Juan Pablo Conde42305f22022-07-12 16:40:29 -0400211/******************************************************************
212 * Feature : FEAT_RNG_TRAP (Trapping support for RNDR/RNDRRS)
213 *****************************************************************/
214static void read_feat_rng_trap(void)
215{
Andre Przywara5b005112022-11-14 15:38:58 +0000216#if (ENABLE_FEAT_RNG_TRAP == FEAT_STATE_ALWAYS)
Juan Pablo Conde42305f22022-07-12 16:40:29 -0400217 feat_detect_panic(is_feat_rng_trap_present(), "RNG_TRAP");
218#endif
219}
220
Jayanth Dodderi Chidanand9461a892022-01-17 18:57:17 +0000221/***********************************************************************************
222 * TF-A supports many Arm architectural features starting from arch version
223 * (8.0 till 8.7+). These features are mostly enabled through build flags. This
224 * mechanism helps in validating these build flags in the early boot phase
225 * either in BL1 or BL31 depending on the platform and assists in identifying
226 * and notifying the features which are enabled but not supported by the PE.
227 *
228 * It reads all the enabled features ID-registers and ensures the features
229 * are supported by the PE.
230 * In case if they aren't it stops booting at an early phase and logs the error
231 * messages, notifying the platforms about the features that are not supported.
232 *
233 * Further the procedure is implemented with a tri-state approach for each feature:
234 * ENABLE_FEAT_xxx = 0 : The feature is disabled statically at compile time
235 * ENABLE_FEAT_xxx = 1 : The feature is enabled and must be present in hardware.
236 * There will be panic if feature is not present at cold boot.
237 * ENABLE_FEAT_xxx = 2 : The feature is enabled but dynamically enabled at runtime
238 * depending on hardware capability.
239 *
Andre Przywara5b005112022-11-14 15:38:58 +0000240 * For better readability, state values are defined with macros, namely:
241 * { FEAT_STATE_DISABLED, FEAT_STATE_ALWAYS, FEAT_STATE_CHECK }, taking values
242 * { 0, 1, 2 }, respectively, as their naming.
Jayanth Dodderi Chidanand9461a892022-01-17 18:57:17 +0000243 **********************************************************************************/
244void detect_arch_features(void)
245{
Andre Przywaracc4118d2022-11-14 15:42:44 +0000246 tainted = false;
247
Jayanth Dodderi Chidanand9461a892022-01-17 18:57:17 +0000248 /* v8.0 features */
Andre Przywara46880dc2022-11-17 16:42:09 +0000249 check_feature(ENABLE_FEAT_SB, read_feat_sb_id_field(), "SB", 1, 1);
Jayanth Dodderi Chidanand9461a892022-01-17 18:57:17 +0000250 read_feat_csv2_2();
251
252 /* v8.1 features */
253 read_feat_pan();
Andre Przywara98908b32022-11-17 16:42:09 +0000254 check_feature(ENABLE_FEAT_VHE, read_feat_vhe_id_field(), "VHE", 1, 1);
Jayanth Dodderi Chidanand9461a892022-01-17 18:57:17 +0000255
256 /* v8.2 features */
257 read_feat_ras();
258
259 /* v8.3 features */
260 read_feat_pauth();
261
262 /* v8.4 features */
263 read_feat_dit();
Andre Przywara2f3e79a2023-02-01 11:46:31 +0000264 check_feature(ENABLE_FEAT_AMUv1, read_feat_amu_id_field(),
265 "AMUv1", 1, 2);
Andre Przywara84b86532022-11-17 16:42:09 +0000266 check_feature(ENABLE_MPAM_FOR_LOWER_ELS, read_feat_mpam_version(),
Andre Przywaraa96d4502023-03-21 14:44:59 +0000267 "MPAM", 1, 17);
Jayanth Dodderi Chidanand9461a892022-01-17 18:57:17 +0000268 read_feat_nv2();
269 read_feat_sel2();
Andre Przywara06ea44e2022-11-17 17:30:43 +0000270 check_feature(ENABLE_TRF_FOR_NS, read_feat_trf_id_field(),
271 "TRF", 1, 1);
Jayanth Dodderi Chidanand9461a892022-01-17 18:57:17 +0000272
273 /* v8.5 features */
274 read_feat_mte();
275 read_feat_rng();
276 read_feat_bti();
Juan Pablo Conde42305f22022-07-12 16:40:29 -0400277 read_feat_rng_trap();
Jayanth Dodderi Chidanand9461a892022-01-17 18:57:17 +0000278
279 /* v8.6 features */
280 read_feat_amuv1p1();
Andre Przywara2f3e79a2023-02-01 11:46:31 +0000281 check_feature(ENABLE_FEAT_FGT, read_feat_fgt_id_field(), "FGT", 1, 1);
Jayanth Dodderi Chidanand9461a892022-01-17 18:57:17 +0000282 read_feat_ecv();
Jayanth Dodderi Chidanand4b5489c2022-03-28 15:28:55 +0100283 read_feat_twed();
Jayanth Dodderi Chidanand9461a892022-01-17 18:57:17 +0000284
285 /* v8.7 features */
Andre Przywara2f3e79a2023-02-01 11:46:31 +0000286 check_feature(ENABLE_FEAT_HCX, read_feat_hcx_id_field(), "HCX", 1, 1);
Jayanth Dodderi Chidanand9461a892022-01-17 18:57:17 +0000287
Mark Brownc37eee72023-03-14 20:13:03 +0000288 /* v8.9 features */
289 check_feature(ENABLE_FEAT_TCR2, read_feat_tcrx_id_field(),
290 "TCR2", 1, 1);
291
Jayanth Dodderi Chidanand69316752022-05-09 12:33:03 +0100292 /* v9.0 features */
Andre Przywarac97c5512022-11-17 16:42:09 +0000293 check_feature(ENABLE_BRBE_FOR_NS, read_feat_brbe_id_field(),
294 "BRBE", 1, 2);
Andre Przywara191eff62022-11-17 16:42:09 +0000295 check_feature(ENABLE_TRBE_FOR_NS, read_feat_trbe_id_field(),
296 "TRBE", 1, 1);
Jayanth Dodderi Chidanand69316752022-05-09 12:33:03 +0100297
Jayanth Dodderi Chidanand9461a892022-01-17 18:57:17 +0000298 /* v9.2 features */
299 read_feat_rme();
Andre Przywaracc4118d2022-11-14 15:42:44 +0000300
301 if (tainted) {
302 panic();
303 }
Jayanth Dodderi Chidanand9461a892022-01-17 18:57:17 +0000304}