10 #include <arch/cache.h>
33 static unsigned int line_bytes = 0;
40 line_bytes = 1 << ((ccsidr & 0x7) + 2);
41 line_bytes *=
sizeof(
unsigned int);
54 unsigned long line, linesize;
60 while ((
void *)line <
addr + len) {
void cache_sync_instructions(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)
void arch_segment_loaded(uintptr_t start, size_t size, int flags)
static void dcache_op_mva(void const *addr, size_t len, enum dcache_op op)
static void tlbiall(void)
static void dccimvac(unsigned long mva)
static uint32_t read_ccsidr(void)
static void write_sctlr(uint32_t val)
static void dccmvac(unsigned long mva)
static void iciallu(void)
static void dcimvac(unsigned long mva)
static uint32_t read_sctlr(void)