1*54fd6939SJiyong Park /* 2*54fd6939SJiyong Park * Copyright (c) 2017-2018, ARM Limited and Contributors. All rights reserved. 3*54fd6939SJiyong Park * 4*54fd6939SJiyong Park * SPDX-License-Identifier: BSD-3-Clause 5*54fd6939SJiyong Park */ 6*54fd6939SJiyong Park 7*54fd6939SJiyong Park #ifndef SPE_H 8*54fd6939SJiyong Park #define SPE_H 9*54fd6939SJiyong Park 10*54fd6939SJiyong Park #include <stdbool.h> 11*54fd6939SJiyong Park 12*54fd6939SJiyong Park bool spe_supported(void); 13*54fd6939SJiyong Park void spe_enable(bool el2_unused); 14*54fd6939SJiyong Park void spe_disable(void); 15*54fd6939SJiyong Park 16*54fd6939SJiyong Park #endif /* SPE_H */ 17