Symbol: cpu_sdcache_wb_range
sys/arch/aarch64/include/cpufunc.h
117
#define cpu_sdcache_wb_range(v,p,s) ((void)0)
sys/arch/arm/include/cpufunc.h
246
#define cpu_sdcache_wb_range(a, b, s) cpufuncs.cf_sdcache_wb_range((a), (b), (s))