1 /*
2  * Copyright (c) 2009 Corey Tabaka
3  * Copyright (c) 2024 Travis Geiselbrecht
4  *
5  * Use of this source code is governed by a MIT-style
6  * license that can be found in the LICENSE file or at
7  * https://opensource.org/licenses/MIT
8  */
9 #include <arch/ops.h>
10 
11 /* nothing to do to sync I & D cache on x86 */
arch_sync_cache_range(addr_t start,size_t len)12 void arch_sync_cache_range(addr_t start, size_t len) {
13 }
14 
15 /* for the moment, no cache flushes here either */
arch_clean_cache_range(addr_t start,size_t len)16 void arch_clean_cache_range(addr_t start, size_t len) {
17 }
18 
arch_clean_invalidate_cache_range(addr_t start,size_t len)19 void arch_clean_invalidate_cache_range(addr_t start, size_t len) {
20 }
21 
arch_invalidate_cache_range(addr_t start,size_t len)22 void arch_invalidate_cache_range(addr_t start, size_t len) {
23 }
24