1 /*
2  * Copyright 2021 The Hafnium Authors.
3  *
4  * Use of this source code is governed by a BSD-style
5  * license that can be found in the LICENSE file or at
6  * https://opensource.org/licenses/BSD-3-Clause.
7  */
8 
9 #include "hf/arch/cache.h"
10 
arch_cache_data_clean_range(vaddr_t start,size_t size)11 void arch_cache_data_clean_range(vaddr_t start, size_t size)
12 {
13 	(void)start;
14 	(void)size;
15 }
16 
arch_cache_data_invalidate_range(vaddr_t start,size_t size)17 void arch_cache_data_invalidate_range(vaddr_t start, size_t size)
18 {
19 	(void)start;
20 	(void)size;
21 }
22