Symbol: cpu_sdcache_wbinv_range
sys/arch/aarch64/include/cpufunc.h
115
#define cpu_sdcache_wbinv_range(v,p,s) ((void)0)
sys/arch/arm/include/cpufunc.h
244
#define cpu_sdcache_wbinv_range(a, b, s) cpufuncs.cf_sdcache_wbinv_range((a), (b), (s))