1 /* SPDX-License-Identifier: BSD-2-Clause */ 2 /* 3 * Copyright (c) 2024, Microchip Technology Inc. and its subsidiaries. 4 */ 5 6 #ifndef __SAM_PL310_H__ 7 #define __SAM_PL310_H__ 8 9 TEE_Result pl310_enable(void); 10 TEE_Result pl310_disable(void); 11 TEE_Result pl310_enable_writeback(void); 12 TEE_Result pl310_disable_writeback(void); 13 14 #endif /* __SAM_PL310_H__ */ 15