aarch64_dcache_wbinv_range

108

#define cpu_dcache_wbinv_range(v,s) aarch64_dcache_wbinv_range((v),(s))

77

void aarch64_dcache_wbinv_range(vaddr_t, vsize_t);

38

void aarch64_dcache_wbinv_range(vaddr_t, vsize_t);

45

aarch64_dcache_wbinv_range(start, size);

60

aarch64_dcache_wbinv_range(kernel_start, kernel_size);

62

aarch64_dcache_wbinv_range(fdt_start, fdt_size);