Symbol: aarch64_dcache_inv_range
sys/arch/aarch64/include/cpufunc.h
109
#define cpu_dcache_inv_range(v,s) aarch64_dcache_inv_range((v),(s))
sys/arch/aarch64/include/cpufunc.h
78
void aarch64_dcache_inv_range(vaddr_t, vsize_t);