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)11void 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)16void 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)21void inv_dcache_range(uintptr_t addr, size_t size) 22 { 23 (void)addr; 24 (void)size; 25 } 26