1 /* SPDX-License-Identifier: BSD-2-Clause */ 2 /* 3 * Copyright (c) 2014, STMicroelectronics International N.V. 4 */ 5 6 #ifndef __KERNEL_TZ_SSVCE_PL310_H 7 #define __KERNEL_TZ_SSVCE_PL310_H 8 9 #include <util.h> 10 #include <kernel/tz_ssvce_def.h> 11 #include <types_ext.h> 12 13 vaddr_t pl310_base(void); 14 vaddr_t pl310_nsbase(void); 15 16 /* 17 * End address is included in the range (last address in range) 18 */ 19 void arm_cl2_cleaninvbyway(vaddr_t pl310_base); 20 void arm_cl2_invbyway(vaddr_t pl310_base); 21 void arm_cl2_cleanbyway(vaddr_t pl310_base); 22 void arm_cl2_cleanbypa(vaddr_t pl310_base, paddr_t start, paddr_t end); 23 void arm_cl2_invbypa(vaddr_t pl310_base, paddr_t start, paddr_t end); 24 void arm_cl2_cleaninvbypa(vaddr_t pl310_base, paddr_t start, paddr_t end); 25 26 #endif /* __KERNEL_TZ_SSVCE_PL310_H */ 27