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