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
spe_init_el3(void)17 static inline void spe_init_el3(void)
18 {
19 }
spe_init_el2_unused(void)20 static inline void spe_init_el2_unused(void)
21 {
22 }
spe_disable(void)23 static inline void spe_disable(void)
24 {
25 }
26 #endif /* ENABLE_SPE_FOR_NS */
27 
28 #endif /* SPE_H */
29