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