1 /*
2  * SPDX-License-Identifier: BSD-3-Clause
3  * SPDX-FileCopyrightText: Copyright TF-RMM Contributors.
4  */
5 
6 #include <arch_helpers.h>
7 
8 /*******************************************************************************
9  * Cache management
10  ******************************************************************************/
flush_dcache_range(uintptr_t addr,size_t size)11 void flush_dcache_range(uintptr_t addr, size_t size)
12 {
13 	(void)addr;
14 	(void)size;
15 }
clean_dcache_range(uintptr_t addr,size_t size)16 void clean_dcache_range(uintptr_t addr, size_t size)
17 {
18 	(void)addr;
19 	(void)size;
20 }
inv_dcache_range(uintptr_t addr,size_t size)21 void inv_dcache_range(uintptr_t addr, size_t size)
22 {
23 	(void)addr;
24 	(void)size;
25 }
26