1 /* 2 * Copyright (c) 2017-2023, Arm Limited and Contributors. All rights reserved. 3 * 4 * SPDX-License-Identifier: BSD-3-Clause 5 */ 6 7 #ifndef SPE_H 8 #define SPE_H 9 10 #include <stdbool.h> 11 12 #if ENABLE_SPE_FOR_NS 13 void spe_init_el3(void); 14 void spe_init_el2_unused(void); 15 void spe_disable(void); 16 #else 17 static inline void spe_init_el3(void) 18 { 19 } 20 static inline void spe_init_el2_unused(void) 21 { 22 } 23 static inline void spe_disable(void) 24 { 25 } 26 #endif /* ENABLE_SPE_FOR_NS */ 27 28 #endif /* SPE_H */ 29