Symbol: cpu_dcache_wbinv_range
sys/arch/aarch64/include/cpufunc.h
108
#define cpu_dcache_wbinv_range(v,s) aarch64_dcache_wbinv_range((v),(s))
sys/arch/arm/include/cpufunc.h
240
#define cpu_dcache_wbinv_range(a, s) cpufuncs.cf_dcache_wbinv_range((a), (s))