Symbol: cpu_dcache_inv_range
sys/arm64/include/cpufunc.h
200
#define cpu_dcache_inv_range(a, s) arm64_dcache_inv_range((a), (s))
sys/riscv/include/cpufunc.h
156
cpu_dcache_inv_range(void *addr, size_t size)