1281a08ccSDimitris Papastamos /* 2*60d330dcSBoyan Karatotev * Copyright (c) 2017-2023, Arm Limited and Contributors. All rights reserved. 3281a08ccSDimitris Papastamos * 4281a08ccSDimitris Papastamos * SPDX-License-Identifier: BSD-3-Clause 5281a08ccSDimitris Papastamos */ 6281a08ccSDimitris Papastamos 740daecc1SAntonio Nino Diaz #ifndef SPE_H 840daecc1SAntonio Nino Diaz #define SPE_H 9281a08ccSDimitris Papastamos 1040daecc1SAntonio Nino Diaz #include <stdbool.h> 1140daecc1SAntonio Nino Diaz 126437a09aSAndre Przywara #if ENABLE_SPE_FOR_NS 13*60d330dcSBoyan Karatotev void spe_init_el3(void); 14*60d330dcSBoyan Karatotev void spe_init_el2_unused(void); 15281a08ccSDimitris Papastamos void spe_disable(void); 166437a09aSAndre Przywara #else 17*60d330dcSBoyan Karatotev static inline void spe_init_el3(void) 18*60d330dcSBoyan Karatotev { 19*60d330dcSBoyan Karatotev } 20*60d330dcSBoyan Karatotev static inline void spe_init_el2_unused(void) 216437a09aSAndre Przywara { 226437a09aSAndre Przywara } 23d7f3ed36SAndre Przywara static inline void spe_disable(void) 246437a09aSAndre Przywara { 256437a09aSAndre Przywara } 26*60d330dcSBoyan Karatotev #endif /* ENABLE_SPE_FOR_NS */ 27281a08ccSDimitris Papastamos 2840daecc1SAntonio Nino Diaz #endif /* SPE_H */ 29