Symbol: arm64_dcache_inv_range
sys/arm64/include/cpufunc.h
200
#define cpu_dcache_inv_range(a, s) arm64_dcache_inv_range((a), (s))
sys/arm64/include/cpufunc.h
214
void arm64_dcache_inv_range(void *, vm_size_t);