Symbol: aarch64_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/aarch64/include/cpufunc.h
76
void aarch64_idcache_wbinv_range(vaddr_t, vsize_t);