Symbol: cpu_idcache_wbinv_range
sys/arch/arm/include/cpufunc.h
188
#define cpu_idcache_wbinv_range(a, s) cpufuncs.cf_idcache_wbinv_range((a), (s))
sys/arch/arm64/arm64/cpufunc_asm.S
172
ENTRY(cpu_idcache_wbinv_range)