static void invalidate_dcache_all()
Invalidate the entire data cache.
Definition cache.h:218
static void flush_dcache_range(uint64_t start, uint64_t end)
Flush a range of addresses from the data cache.
Definition cache.h:173
static void invalidate_dcache_range(uint64_t start, uint64_t end)
Invalidate a range of addresses in the data cache.
Definition cache.h:193
static void flush_dcache_all()
Flush (clean) the entire data cache.
Definition cache.h:213
u64_t uint64_t
Definition stdint.h:16
Memory barrier definitions for RISC-V architecture.
void cache_init(void)
Initialize the cache configuration.
Definition cache.c:190
void dcache_enable(void)
Enable the data cache.
Definition cache.c:201
void icache_enable(void)
Enable the instruction cache.
Definition cache.c:211