1281a08ccSDimitris Papastamos /* 22ff8fbf3SDimitris Papastamos * Copyright (c) 2017-2018, 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 1340daecc1SAntonio Nino Diaz void spe_enable(bool el2_unused); 14281a08ccSDimitris Papastamos void spe_disable(void); 156437a09aSAndre Przywara #else 16*d7f3ed36SAndre Przywara static inline void spe_enable(bool el2_unused) 176437a09aSAndre Przywara { 186437a09aSAndre Przywara } 19*d7f3ed36SAndre Przywara static inline void spe_disable(void) 206437a09aSAndre Przywara { 216437a09aSAndre Przywara } 226437a09aSAndre Przywara #endif 23281a08ccSDimitris Papastamos 2440daecc1SAntonio Nino Diaz #endif /* SPE_H */ 25