Symbol: arm64_dcache_wbinv_range
sys/arm64/include/cpufunc.h
201
#define cpu_dcache_wbinv_range(a, s) arm64_dcache_wbinv_range((a), (s))
sys/arm64/include/cpufunc.h
216
void arm64_dcache_wbinv_range(void *, vm_size_t);