1 /* 2 * Copyright (c) 2024, Arm Limited. All rights reserved. 3 * 4 * SPDX-License-Identifier: BSD-3-Clause 5 */ 6 7 #ifndef TCR2_H 8 #define TCR2_H 9 10 #include <context.h> 11 12 #if ENABLE_FEAT_TCR2 13 void tcr2_enable(cpu_context_t *ctx); 14 void tcr2_disable(cpu_context_t *ctx); 15 #else 16 static inline void tcr2_enable(cpu_context_t *ctx) 17 { 18 } 19 static inline void tcr2_disable(cpu_context_t *ctx) 20 { 21 } 22 #endif /* ENABLE_FEAT_TCR2 */ 23 24 #endif /* TCR2_H */ 25