coreboot
coreboot is an Open Source project aimed at replacing the proprietary BIOS found in most computers.
cache.h
Go to the documentation of this file.
1 /* SPDX-License-Identifier: BSD-3-Clause */
2 
3 #ifndef ARCH_CACHE_H
4 #define ARCH_CACHE_H
5 
6 /* TODO: implement these API stubs once caching is available on RISC-V */
7 static inline void dcache_clean_all(void) {}
8 static inline void dcache_invalidate_all(void) {}
9 static inline void dcache_clean_invalidate_all(void) {}
10 
11 #endif /* ARCH_CACHE_H */
dcache_invalidate_all
void dcache_invalidate_all(void)
Definition: cache.c:22
dcache_clean_all
void dcache_clean_all(void)
Definition: cache.c:14
dcache_clean_invalidate_all
void dcache_clean_invalidate_all(void)
Definition: cache.c:18