1 /* 2 * Copyright (c) 2024, Arm Limited and Contributors. All rights reserved. 3 * 4 * SPDX-License-Identifier: BSD-3-Clause 5 */ 6 7 #ifndef TSP_EL1_CONTEXT_H 8 #define TSP_EL1_CONTEXT_H 9 10 #define TSP_CORRUPT_EL1_REGS 1 11 #define TSP_RESTORE_EL1_REGS 0 12 13 /* Public helper function to handle EL1 ctx registers at S-EL1(TSP) */ 14 void modify_el1_ctx_regs(const bool modify_option); 15 16 #endif /* TSP_EL1_CONTEXT_H */ 17