Symbol: aarch64_dcache_wb_range
sys/arch/aarch64/include/cpufunc.h
110
#define cpu_dcache_wb_range(v,s) aarch64_dcache_wb_range((v),(s))
sys/arch/aarch64/include/cpufunc.h
79
void aarch64_dcache_wb_range(vaddr_t, vsize_t);