Symbol: aarch64_dcache_wbinv_all
sys/arch/aarch64/include/cpufunc.h
103
(aarch64_dcache_wbinv_all(), aarch64_icache_inv_all())
sys/arch/aarch64/include/cpufunc.h
65
void aarch64_dcache_wbinv_all(void);
sys/arch/aarch64/include/cpufunc.h
99
#define cpu_dcache_wbinv_all() aarch64_dcache_wbinv_all()