Symbol: aarch64_dcache_wb_all
sys/arch/aarch64/aarch64/aarch64_reboot.c
168
aarch64_dcache_wb_all();
sys/arch/aarch64/include/cpufunc.h
101
#define cpu_dcache_wb_all() aarch64_dcache_wb_all()
sys/arch/aarch64/include/cpufunc.h
105
(aarch64_dcache_wb_all(), aarch64_icache_inv_all())
sys/arch/aarch64/include/cpufunc.h
67
void aarch64_dcache_wb_all(void);