1 /* 2 * Copyright (c) 2017-2018, 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 bool spe_supported(void); 13 void spe_enable(bool el2_unused); 14 void spe_disable(void); 15 16 #endif /* SPE_H */ 17