Symbol: cpu_sdcache_inv_range
sys/arch/aarch64/include/cpufunc.h
116
#define cpu_sdcache_inv_range(v,p,s) ((void)0)
sys/arch/arm/include/cpufunc.h
245
#define cpu_sdcache_inv_range(a, b, s) cpufuncs.cf_sdcache_inv_range((a), (b), (s))