16a0da736SJayanth Dodderi Chidanand /* 26a0da736SJayanth Dodderi Chidanand * Copyright (c) 2022, Arm Limited and Contributors. All rights reserved. 36a0da736SJayanth Dodderi Chidanand * 46a0da736SJayanth Dodderi Chidanand * SPDX-License-Identifier: BSD-3-Clause 56a0da736SJayanth Dodderi Chidanand */ 66a0da736SJayanth Dodderi Chidanand 769c17f52SAndre Przywara #include <arch_features.h> 869c17f52SAndre Przywara #include <common/debug.h> 96a0da736SJayanth Dodderi Chidanand #include <common/feat_detect.h> 106a0da736SJayanth Dodderi Chidanand 11b45dd74eSAndre Przywara static bool tainted; 12b45dd74eSAndre Przywara 136a0da736SJayanth Dodderi Chidanand /******************************************************************************* 146a0da736SJayanth Dodderi Chidanand * This section lists the wrapper modules for each feature to evaluate the 1569c17f52SAndre Przywara * feature states (FEAT_STATE_ALWAYS and FEAT_STATE_CHECK) and perform 1669c17f52SAndre Przywara * necessary action as below: 176a0da736SJayanth Dodderi Chidanand * 186a0da736SJayanth Dodderi Chidanand * It verifies whether the FEAT_XXX (eg: FEAT_SB) is supported by the PE or not. 196a0da736SJayanth Dodderi Chidanand * Without this check an exception would occur during context save/restore 206a0da736SJayanth Dodderi Chidanand * routines, if the feature is enabled but not supported by PE. 216a0da736SJayanth Dodderi Chidanand ******************************************************************************/ 226a0da736SJayanth Dodderi Chidanand 2369c17f52SAndre Przywara #define feat_detect_panic(a, b) ((a) ? (void)0 : feature_panic(b)) 2469c17f52SAndre Przywara 2569c17f52SAndre Przywara /******************************************************************************* 2669c17f52SAndre Przywara * Function : feature_panic 2769c17f52SAndre Przywara * Customised panic function with error logging mechanism to list the feature 2869c17f52SAndre Przywara * not supported by the PE. 2969c17f52SAndre Przywara ******************************************************************************/ 3069c17f52SAndre Przywara static inline void feature_panic(char *feat_name) 3169c17f52SAndre Przywara { 3269c17f52SAndre Przywara ERROR("FEAT_%s not supported by the PE\n", feat_name); 3369c17f52SAndre Przywara panic(); 3469c17f52SAndre Przywara } 3569c17f52SAndre Przywara 36b45dd74eSAndre Przywara /******************************************************************************* 37b45dd74eSAndre Przywara * Function : check_feature 38b45dd74eSAndre Przywara * Check for a valid combination of build time flags (ENABLE_FEAT_xxx) and 39a4cccb4fSAndre Przywara * feature availability on the hardware. <min> is the smallest feature 40a4cccb4fSAndre Przywara * ID field value that is required for that feature. 41a4cccb4fSAndre Przywara * Triggers a panic later if a feature is forcefully enabled, but not 42a4cccb4fSAndre Przywara * available on the PE. Also will panic if the hardware feature ID field 43a4cccb4fSAndre Przywara * is larger than the maximum known and supported number, specified by <max>. 44b45dd74eSAndre Przywara * 45b45dd74eSAndre Przywara * We force inlining here to let the compiler optimise away the whole check 46b45dd74eSAndre Przywara * if the feature is disabled at build time (FEAT_STATE_DISABLED). 47b45dd74eSAndre Przywara ******************************************************************************/ 48b45dd74eSAndre Przywara static inline void __attribute((__always_inline__)) 49a4cccb4fSAndre Przywara check_feature(int state, unsigned long field, const char *feat_name, 50a4cccb4fSAndre Przywara unsigned int min, unsigned int max) 51b45dd74eSAndre Przywara { 52a4cccb4fSAndre Przywara if (state == FEAT_STATE_ALWAYS && field < min) { 53b45dd74eSAndre Przywara ERROR("FEAT_%s not supported by the PE\n", feat_name); 54b45dd74eSAndre Przywara tainted = true; 55b45dd74eSAndre Przywara } 56a4cccb4fSAndre Przywara if (state >= FEAT_STATE_ALWAYS && field > max) { 57a4cccb4fSAndre Przywara ERROR("FEAT_%s is version %ld, but is only known up to version %d\n", 58a4cccb4fSAndre Przywara feat_name, field, max); 59a4cccb4fSAndre Przywara tainted = true; 60a4cccb4fSAndre Przywara } 61b45dd74eSAndre Przywara } 62b45dd74eSAndre Przywara 636a0da736SJayanth Dodderi Chidanand /******************************************************************************* 646a0da736SJayanth Dodderi Chidanand * Feature : FEAT_RAS (Reliability, Availability, and Serviceability Extension) 656a0da736SJayanth Dodderi Chidanand ******************************************************************************/ 666a0da736SJayanth Dodderi Chidanand static void read_feat_ras(void) 676a0da736SJayanth Dodderi Chidanand { 6869c17f52SAndre Przywara #if (RAS_EXTENSION == FEAT_STATE_ALWAYS) 696a0da736SJayanth Dodderi Chidanand feat_detect_panic(is_armv8_2_feat_ras_present(), "RAS"); 706a0da736SJayanth Dodderi Chidanand #endif 716a0da736SJayanth Dodderi Chidanand } 726a0da736SJayanth Dodderi Chidanand 736a0da736SJayanth Dodderi Chidanand /************************************************ 746a0da736SJayanth Dodderi Chidanand * Feature : FEAT_PAUTH (Pointer Authentication) 756a0da736SJayanth Dodderi Chidanand ***********************************************/ 766a0da736SJayanth Dodderi Chidanand static void read_feat_pauth(void) 776a0da736SJayanth Dodderi Chidanand { 7869c17f52SAndre Przywara #if (ENABLE_PAUTH == FEAT_STATE_ALWAYS) || (CTX_INCLUDE_PAUTH_REGS == FEAT_STATE_ALWAYS) 796a0da736SJayanth Dodderi Chidanand feat_detect_panic(is_armv8_3_pauth_present(), "PAUTH"); 806a0da736SJayanth Dodderi Chidanand #endif 816a0da736SJayanth Dodderi Chidanand } 826a0da736SJayanth Dodderi Chidanand 836a0da736SJayanth Dodderi Chidanand /************************************************************ 846a0da736SJayanth Dodderi Chidanand * Feature : FEAT_DIT (Data Independent Timing Instructions) 856a0da736SJayanth Dodderi Chidanand ***********************************************************/ 866a0da736SJayanth Dodderi Chidanand static void read_feat_dit(void) 876a0da736SJayanth Dodderi Chidanand { 8869c17f52SAndre Przywara #if (ENABLE_FEAT_DIT == FEAT_STATE_ALWAYS) 896a0da736SJayanth Dodderi Chidanand feat_detect_panic(is_armv8_4_feat_dit_present(), "DIT"); 906a0da736SJayanth Dodderi Chidanand #endif 916a0da736SJayanth Dodderi Chidanand } 926a0da736SJayanth Dodderi Chidanand 936a0da736SJayanth Dodderi Chidanand /************************************************ 946a0da736SJayanth Dodderi Chidanand * Feature : FEAT_MTE (Memory Tagging Extension) 956a0da736SJayanth Dodderi Chidanand ***********************************************/ 966a0da736SJayanth Dodderi Chidanand static void read_feat_mte(void) 976a0da736SJayanth Dodderi Chidanand { 9869c17f52SAndre Przywara #if (CTX_INCLUDE_MTE_REGS == FEAT_STATE_ALWAYS) 996a0da736SJayanth Dodderi Chidanand unsigned int mte = get_armv8_5_mte_support(); 1006a0da736SJayanth Dodderi Chidanand 1016a0da736SJayanth Dodderi Chidanand feat_detect_panic((mte != MTE_UNIMPLEMENTED), "MTE"); 1026a0da736SJayanth Dodderi Chidanand #endif 1036a0da736SJayanth Dodderi Chidanand } 1046a0da736SJayanth Dodderi Chidanand 1056a0da736SJayanth Dodderi Chidanand /**************************************************** 1066a0da736SJayanth Dodderi Chidanand * Feature : FEAT_BTI (Branch Target Identification) 1076a0da736SJayanth Dodderi Chidanand ***************************************************/ 1086a0da736SJayanth Dodderi Chidanand static void read_feat_bti(void) 1096a0da736SJayanth Dodderi Chidanand { 11069c17f52SAndre Przywara #if (ENABLE_BTI == FEAT_STATE_ALWAYS) 1116a0da736SJayanth Dodderi Chidanand feat_detect_panic(is_armv8_5_bti_present(), "BTI"); 1126a0da736SJayanth Dodderi Chidanand #endif 1136a0da736SJayanth Dodderi Chidanand } 1146a0da736SJayanth Dodderi Chidanand 1156a0da736SJayanth Dodderi Chidanand /*********************************************** 1166a0da736SJayanth Dodderi Chidanand * Feature : FEAT_AMUv1p1 (AMU Extensions v1.1) 1176a0da736SJayanth Dodderi Chidanand **********************************************/ 1186a0da736SJayanth Dodderi Chidanand static void read_feat_amuv1p1(void) 1196a0da736SJayanth Dodderi Chidanand { 12069c17f52SAndre Przywara #if (ENABLE_FEAT_AMUv1p1 == FEAT_STATE_ALWAYS) 1216a0da736SJayanth Dodderi Chidanand feat_detect_panic(is_armv8_6_feat_amuv1p1_present(), "AMUv1p1"); 1226a0da736SJayanth Dodderi Chidanand #endif 1236a0da736SJayanth Dodderi Chidanand } 1246a0da736SJayanth Dodderi Chidanand 1256a0da736SJayanth Dodderi Chidanand /************************************************** 1266a0da736SJayanth Dodderi Chidanand * Feature : FEAT_RME (Realm Management Extension) 1276a0da736SJayanth Dodderi Chidanand *************************************************/ 1286a0da736SJayanth Dodderi Chidanand static void read_feat_rme(void) 1296a0da736SJayanth Dodderi Chidanand { 13069c17f52SAndre Przywara #if (ENABLE_RME == FEAT_STATE_ALWAYS) 1316a0da736SJayanth Dodderi Chidanand feat_detect_panic((get_armv9_2_feat_rme_support() != 1326a0da736SJayanth Dodderi Chidanand ID_AA64PFR0_FEAT_RME_NOT_SUPPORTED), "RME"); 1336a0da736SJayanth Dodderi Chidanand #endif 1346a0da736SJayanth Dodderi Chidanand } 1356a0da736SJayanth Dodderi Chidanand 136ff86e0b4SJuan Pablo Conde /****************************************************************** 137ff86e0b4SJuan Pablo Conde * Feature : FEAT_RNG_TRAP (Trapping support for RNDR/RNDRRS) 138ff86e0b4SJuan Pablo Conde *****************************************************************/ 139ff86e0b4SJuan Pablo Conde static void read_feat_rng_trap(void) 140ff86e0b4SJuan Pablo Conde { 14169c17f52SAndre Przywara #if (ENABLE_FEAT_RNG_TRAP == FEAT_STATE_ALWAYS) 142ff86e0b4SJuan Pablo Conde feat_detect_panic(is_feat_rng_trap_present(), "RNG_TRAP"); 143ff86e0b4SJuan Pablo Conde #endif 144ff86e0b4SJuan Pablo Conde } 145ff86e0b4SJuan Pablo Conde 1466a0da736SJayanth Dodderi Chidanand /*********************************************************************************** 1476a0da736SJayanth Dodderi Chidanand * TF-A supports many Arm architectural features starting from arch version 1486a0da736SJayanth Dodderi Chidanand * (8.0 till 8.7+). These features are mostly enabled through build flags. This 1496a0da736SJayanth Dodderi Chidanand * mechanism helps in validating these build flags in the early boot phase 1506a0da736SJayanth Dodderi Chidanand * either in BL1 or BL31 depending on the platform and assists in identifying 1516a0da736SJayanth Dodderi Chidanand * and notifying the features which are enabled but not supported by the PE. 1526a0da736SJayanth Dodderi Chidanand * 1536a0da736SJayanth Dodderi Chidanand * It reads all the enabled features ID-registers and ensures the features 1546a0da736SJayanth Dodderi Chidanand * are supported by the PE. 1556a0da736SJayanth Dodderi Chidanand * In case if they aren't it stops booting at an early phase and logs the error 1566a0da736SJayanth Dodderi Chidanand * messages, notifying the platforms about the features that are not supported. 1576a0da736SJayanth Dodderi Chidanand * 1586a0da736SJayanth Dodderi Chidanand * Further the procedure is implemented with a tri-state approach for each feature: 1596a0da736SJayanth Dodderi Chidanand * ENABLE_FEAT_xxx = 0 : The feature is disabled statically at compile time 1606a0da736SJayanth Dodderi Chidanand * ENABLE_FEAT_xxx = 1 : The feature is enabled and must be present in hardware. 1616a0da736SJayanth Dodderi Chidanand * There will be panic if feature is not present at cold boot. 1626a0da736SJayanth Dodderi Chidanand * ENABLE_FEAT_xxx = 2 : The feature is enabled but dynamically enabled at runtime 1636a0da736SJayanth Dodderi Chidanand * depending on hardware capability. 1646a0da736SJayanth Dodderi Chidanand * 16569c17f52SAndre Przywara * For better readability, state values are defined with macros, namely: 16669c17f52SAndre Przywara * { FEAT_STATE_DISABLED, FEAT_STATE_ALWAYS, FEAT_STATE_CHECK }, taking values 16769c17f52SAndre Przywara * { 0, 1, 2 }, respectively, as their naming. 1686a0da736SJayanth Dodderi Chidanand **********************************************************************************/ 1696a0da736SJayanth Dodderi Chidanand void detect_arch_features(void) 1706a0da736SJayanth Dodderi Chidanand { 171b45dd74eSAndre Przywara tainted = false; 172b45dd74eSAndre Przywara 1736a0da736SJayanth Dodderi Chidanand /* v8.0 features */ 17424077098SAndre Przywara check_feature(ENABLE_FEAT_SB, read_feat_sb_id_field(), "SB", 1, 1); 1757db710f0SAndre Przywara check_feature(ENABLE_FEAT_CSV2_2, read_feat_csv2_id_field(), 1767db710f0SAndre Przywara "CSV2_2", 2, 3); 1776a0da736SJayanth Dodderi Chidanand 1786a0da736SJayanth Dodderi Chidanand /* v8.1 features */ 1794f5ef849SAndre Przywara check_feature(ENABLE_FEAT_PAN, read_feat_pan_id_field(), "PAN", 1, 3); 180ea735bf5SAndre Przywara check_feature(ENABLE_FEAT_VHE, read_feat_vhe_id_field(), "VHE", 1, 1); 1816a0da736SJayanth Dodderi Chidanand 1826a0da736SJayanth Dodderi Chidanand /* v8.2 features */ 1836a0da736SJayanth Dodderi Chidanand read_feat_ras(); 1846a0da736SJayanth Dodderi Chidanand 1856a0da736SJayanth Dodderi Chidanand /* v8.3 features */ 1866a0da736SJayanth Dodderi Chidanand read_feat_pauth(); 1876a0da736SJayanth Dodderi Chidanand 1886a0da736SJayanth Dodderi Chidanand /* v8.4 features */ 1896a0da736SJayanth Dodderi Chidanand read_feat_dit(); 190*d23acc9eSAndre Przywara check_feature(ENABLE_FEAT_AMU, read_feat_amu_id_field(), 191a4cccb4fSAndre Przywara "AMUv1", 1, 2); 1929448f2b8SAndre Przywara check_feature(ENABLE_MPAM_FOR_LOWER_ELS, read_feat_mpam_version(), 1931f8be7fcSAndre Przywara "MPAM", 1, 17); 194d5384b69SAndre Przywara check_feature(CTX_INCLUDE_NEVE_REGS, read_feat_nv_id_field(), 195d5384b69SAndre Przywara "NV2", 2, 2); 196623f6140SAndre Przywara check_feature(ENABLE_FEAT_SEL2, read_feat_sel2_id_field(), 197623f6140SAndre Przywara "SEL2", 1, 1); 198fc8d2d39SAndre Przywara check_feature(ENABLE_TRF_FOR_NS, read_feat_trf_id_field(), 199fc8d2d39SAndre Przywara "TRF", 1, 1); 2006a0da736SJayanth Dodderi Chidanand 2016a0da736SJayanth Dodderi Chidanand /* v8.5 features */ 2026a0da736SJayanth Dodderi Chidanand read_feat_mte(); 203ac17e52cSAndre Przywara check_feature(ENABLE_FEAT_RNG, read_feat_rng_id_field(), "RNG", 1, 1); 2046a0da736SJayanth Dodderi Chidanand read_feat_bti(); 205ff86e0b4SJuan Pablo Conde read_feat_rng_trap(); 2066a0da736SJayanth Dodderi Chidanand 2076a0da736SJayanth Dodderi Chidanand /* v8.6 features */ 2086a0da736SJayanth Dodderi Chidanand read_feat_amuv1p1(); 209a4cccb4fSAndre Przywara check_feature(ENABLE_FEAT_FGT, read_feat_fgt_id_field(), "FGT", 1, 1); 210b8f03d29SAndre Przywara check_feature(ENABLE_FEAT_ECV, read_feat_ecv_id_field(), "ECV", 1, 2); 2111223d2a0SAndre Przywara check_feature(ENABLE_FEAT_TWED, read_feat_twed_id_field(), 2121223d2a0SAndre Przywara "TWED", 1, 1); 2136a0da736SJayanth Dodderi Chidanand 2146a0da736SJayanth Dodderi Chidanand /* v8.7 features */ 215a4cccb4fSAndre Przywara check_feature(ENABLE_FEAT_HCX, read_feat_hcx_id_field(), "HCX", 1, 1); 2166a0da736SJayanth Dodderi Chidanand 217d3331603SMark Brown /* v8.9 features */ 218d3331603SMark Brown check_feature(ENABLE_FEAT_TCR2, read_feat_tcrx_id_field(), 219d3331603SMark Brown "TCR2", 1, 1); 220d3331603SMark Brown 2211298f2f1SJayanth Dodderi Chidanand /* v9.0 features */ 222ff491036SAndre Przywara check_feature(ENABLE_BRBE_FOR_NS, read_feat_brbe_id_field(), 223ff491036SAndre Przywara "BRBE", 1, 2); 224f5360cfaSAndre Przywara check_feature(ENABLE_TRBE_FOR_NS, read_feat_trbe_id_field(), 225f5360cfaSAndre Przywara "TRBE", 1, 1); 2261298f2f1SJayanth Dodderi Chidanand 2276a0da736SJayanth Dodderi Chidanand /* v9.2 features */ 2286a0da736SJayanth Dodderi Chidanand read_feat_rme(); 229b45dd74eSAndre Przywara 230b45dd74eSAndre Przywara if (tainted) { 231b45dd74eSAndre Przywara panic(); 232b45dd74eSAndre Przywara } 2336a0da736SJayanth Dodderi Chidanand } 234