8 #include <arch/cache.h>
void cache_sync_instructions(void)
void dcache_invalidate_all(void)
void dcache_invalidate_by_mva(void const *addr, size_t len)
void dcache_clean_all(void)
void dcache_clean_by_mva(void const *addr, size_t len)
void dcache_mmu_enable(void)
void dcache_clean_invalidate_by_mva(void const *addr, size_t len)
unsigned int dcache_line_bytes(void)
void dcache_mmu_disable(void)
void dcache_clean_invalidate_all(void)
void tlb_invalidate_all(void)