1 /* 2 * Copyright (c) 2022-2024, Arm Limited. All rights reserved. 3 * 4 * SPDX-License-Identifier: BSD-3-Clause 5 */ 6 7 #include <arch.h> 8 #include <arch_features.h> 9 #include <arch_helpers.h> 10 #include <lib/extensions/brbe.h> 11 12 void brbe_enable(cpu_context_t *ctx) 13 { 14 el3_state_t *state = get_el3state_ctx(ctx); 15 u_register_t mdcr_el3_val = read_ctx_reg(state, CTX_MDCR_EL3); 16 17 /* 18 * MDCR_EL3.SBRBE = 0b01 19 * 20 * Allows BRBE usage in non-secure world and prohibited in 21 * secure world. 22 */ 23 mdcr_el3_val &= ~(MDCR_SBRBE_MASK << MDCR_SBRBE_SHIFT); 24 mdcr_el3_val |= (0x1UL << MDCR_SBRBE_SHIFT); 25 write_ctx_reg(state, CTX_MDCR_EL3, mdcr_el3_val); 26 } 27