Symbol: cpu_idcache_wbinv_range
sys/arch/aarch64/include/cpufunc.h
111
#define cpu_idcache_wbinv_range(v,s) aarch64_idcache_wbinv_range((v),(s))
sys/arch/arm/include/cpufunc.h
249
#define cpu_idcache_wbinv_range(a, s) cpufuncs.cf_idcache_wbinv_range((a), (s))
sys/arch/riscv/include/cpufunc.h
55
#define cpu_idcache_wbinv_range(v,s) __nothing