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 7*40daecc1SAntonio Nino Diaz #ifndef SPE_H 8*40daecc1SAntonio Nino Diaz #define SPE_H 9281a08ccSDimitris Papastamos 10*40daecc1SAntonio Nino Diaz #include <stdbool.h> 11*40daecc1SAntonio Nino Diaz 12*40daecc1SAntonio Nino Diaz bool spe_supported(void); 13*40daecc1SAntonio Nino Diaz void spe_enable(bool el2_unused); 14281a08ccSDimitris Papastamos void spe_disable(void); 15281a08ccSDimitris Papastamos 16*40daecc1SAntonio Nino Diaz #endif /* SPE_H */ 17