6 #ifndef ARM_ARM64_CACHE_H
7 #define ARM_ARM64_CACHE_H
14 #include <arch/barrier.h>
static void icache_invalidate_all(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_clean_invalidate_by_mva(void const *addr, size_t len)
unsigned int dcache_line_bytes(void)
void dcache_clean_invalidate_all(void)
void tlb_invalidate_all(void)
static void iciallu(void)
static void tlbiall_el3(void)