1 /* SPDX-License-Identifier: BSD-2-Clause */
2 /*
3  * Copyright (c) 2014, STMicroelectronics International N.V.
4  */
5 
6 #ifndef TZ_SSVCE_PL310_H
7 #define 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 /*
15  * End address is included in the range (last address in range)
16  */
17 void arm_cl2_cleaninvbyway(vaddr_t pl310_base);
18 void arm_cl2_invbyway(vaddr_t pl310_base);
19 void arm_cl2_cleanbyway(vaddr_t pl310_base);
20 void arm_cl2_cleanbypa(vaddr_t pl310_base, paddr_t start, paddr_t end);
21 void arm_cl2_invbypa(vaddr_t pl310_base, paddr_t start, paddr_t end);
22 void arm_cl2_cleaninvbypa(vaddr_t pl310_base, paddr_t start, paddr_t end);
23 
24 #endif /* TZ_SSVCE_PL310_H */
25